Amalgamating sessions and methods in object-oriented languages with generics
From MaRDI portal
Publication:1004058
DOI10.1016/J.TCS.2008.09.016zbMath1169.68011OpenAlexW1990280150MaRDI QIDQ1004058
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
Publication date: 2 March 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.016
Related Items (7)
On projecting processes into session types ⋮ Session types revisited ⋮ Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Deriving session and union types for objects ⋮ Linearity, session types and the Pi calculus ⋮ Linear type theory for asynchronous session types ⋮ Objects and session types
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Type checking a multithreaded functional language with session types
- A type safe state abstraction for coordination in JAVA-like languages
- Objects and session types
- A syntactic approach to type soundness
- Subtyping for session types in the pi calculus
- A Calculus of Global Interaction based on Session Types
- Bounded Session Types for Object Oriented Languages
- Two Session Typing Systems for Higher-Order Mobile Processes
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Correspondence assertions for process synchronization in concurrent communications
- Linear type theory for asynchronous session types
- Discriminative sum types locate the source of type errors
- Mathematical Foundations of Computer Science 2004
- Asynchronous Session Types and Progress for Object Oriented Languages
- Structured Communication-Centred Programming for Web Services
This page was built for publication: Amalgamating sessions and methods in object-oriented languages with generics
