Typing Copyless Message Passing
From MaRDI portal
Publication:5892489
DOI10.1007/978-3-642-19718-5_4zbMath1326.68079arXiv1202.2086MaRDI 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
68N25: Theory of operating systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
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