Session Types with Gradual Typing
From MaRDI portal
Recommendations
- Session types revisited
- Typing the behavior of software components using session types
- Context-free session types
- Linearly refined session types
- A semantic deconstruction of session types
- Abstracting gradual typing
- Session Types with Arithmetic Refinements
- scientific article; zbMATH DE number 6131659
Cites work
- Dynamic typing: Syntax and proof theory
- Linear type theory for asynchronous session types
- Modular session types for distributed object-oriented programming
- Multiparty asynchronous session types
- Objects and session types
- Propositions as sessions
- Session types as intuitionistic linear propositions
- Space-efficient gradual typing
- Stateful contracts for affine types
- Threesomes, with and without blame
- Type checking a multithreaded functional language with session types
- Well-Typed Programs Can’t Be Blamed
Cited in
(10)- Mixed sessions
- Session types = intersection types + union types
- scientific article; zbMATH DE number 7319032 (Why is no real title available?)
- Blame and coercion: Together again for the first time
- Mixed sessions
- Relating Functional and Imperative Session Types
- On sessions and infinite data
- A simple library implementation of binary sessions
- Session-typed concurrent contracts
- Combining behavioural types with security analysis
This page was built for publication: Session Types with Gradual Typing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811931)
