EXPRESSing session types
From MaRDI portal
Cites work
- A New Type System for Deadlock-Free Processes
- A new linear logic for deadlock-free session-typed processes
- A type system for lock-free processes
- Amalgamating sessions and methods in object-oriented languages with generics
- An interpretation of typed objects into typed -calculus
- Behavioral polymorphism and parametricity in session-based communication
- Bounded Session Types for Object Oriented Languages
- Bounded polymorphism in session types
- Comparing type systems for deadlock freedom
- Compositional choreographies
- Deadlock and lock freedom in the linear -calculus
- Full abstraction in a subtyped pi-calculus with linear types
- Fundamentals of session types
- Linear logic propositions as session types
- Linear type theory for asynchronous session types
- Multiparty Asynchronous Session Types
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Multiparty asynchronous session types
- On duality relations for session types
- Prioritise the best variation
- Propositions as sessions
- Separating sessions smoothly
- Session types as intuitionistic linear propositions
- Session types revisited
- Structured Communication-Centred Programming for Web Services
- Subtyping for session types in the pi calculus
- The -calculus: A theory of mobile processes
- Two Session Typing Systems for Higher-Order Mobile Processes
- Type checking a multithreaded functional language with session types
- Type systems for distributed programs: components and sessions
- Typing the behavior of software components using session types
- Using higher-order contracts to model session types (extended abstract)
This page was built for publication: EXPRESSing session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6953867)
