Modular session types for objects

DOI10.2168/LMCS-11(4:12)2015zbMath1448.68213arXiv1205.5344OpenAlexW237093534MaRDI QIDQ3460414

Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay

Publication date: 7 January 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.5344

zbMATH Keywords

session typesnon-uniform method availabilityobject-oriented calculustypestate

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (2)

Stateful Behavioral Types for Active Objects ⋮ Polymorphic lambda calculus with context-free session types

Uses Software

• Polyglot
• Cyclone
• PIPER
• PLURAL
• Fugue
• Alms

This page was built for publication: Modular session types for objects