Deriving session and union types for objects
DOI10.1017/S0960129512000886zbMath1308.68035OpenAlexW2053657070MaRDI QIDQ5410236
Betti Venneri, Elena Giachino, Mariangiola Dezani-Ciancaglini, Sara Capecchi, Lorenzo Bettini
Publication date: 16 April 2014
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129512000886
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
- Type checking a multithreaded functional language with session types
- Semantic subtyping for the pi-calculus
- Amalgamating sessions and methods in object-oriented languages with generics
- Objects and session types
- Intersection and union types: Syntax and semantics
- Subtyping for session types in the pi calculus
- Session and Union Types for Object Oriented Programming
- Bounded Session Types for Object Oriented Languages
- Bounded polymorphism in session types
- Structured Interactional Exceptions in Session Types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types for Access and Information Flow Control
- Buffered Communication Analysis in Distributed Multiparty Sessions
- Two Session Typing Systems for Higher-Order Mobile Processes
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Correspondence assertions for process synchronization in concurrent communications
- Asynchronous Session Types and Progress for Object Oriented Languages
- Structured Communication-Centred Programming for Web Services
- Typing Copyless Message Passing
- Parameterised Multiparty Session Types
This page was built for publication: Deriving session and union types for objects
