Session Types with Gradual Typing
From MaRDI portal
Publication:2811931
DOI10.1007/978-3-662-45917-1_10zbMath1444.68123OpenAlexW158940444MaRDI QIDQ2811931
Publication date: 9 June 2016
Published in: Trustworthy Global Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-45917-1_10
Related Items (3)
Combining behavioural types with security analysis ⋮ Session-typed concurrent contracts ⋮ Blame and coercion: Together again for the first time
Cites Work
- Space-efficient gradual typing
- Type checking a multithreaded functional language with session types
- Objects and session types
- Dynamic typing: Syntax and proof theory
- Multiparty asynchronous session types
- Stateful Contracts for Affine Types
- Session Types as Intuitionistic Linear Propositions
- Well-Typed Programs Can’t Be Blamed
- Propositions as sessions
- Linear type theory for asynchronous session types
- Modular session types for distributed object-oriented programming
- Threesomes, with and without blame
This page was built for publication: Session Types with Gradual Typing