Typing Copyless Message Passing
From MaRDI portal
Publication:5892489
DOI10.1007/978-3-642-19718-5_4zbMath1326.68079arXiv1202.2086OpenAlexW1863315251MaRDI QIDQ5892489
Chiara Messa, Viviana Bono, Luca Padovani
Publication date: 19 May 2011
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.2086
Theory of operating systems (68N25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Mixed Sessions ⋮ Deriving session and union types for objects ⋮ Session types without sophistry. System description ⋮ Mixed sessions ⋮ Polymorphic lambda calculus with context-free session types
Cites Work
This page was built for publication: Typing Copyless Message Passing