Relating Functional and Imperative Session Types

DOI10.46298/LMCS-18(3:33)2022OpenAlexW3093091986MaRDI QIDQ5043592FDOQ5043592

Authors: Hannes Saffrich, Peter J. Thiemann 

Publication date: 6 October 2022

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.08261

Recommendations

• CONCUR 2004 - Concurrency Theory
• Session types revisited
• Linear type theory for asynchronous session types
• Session Types with Gradual Typing
• Effects as sessions, sessions as effects

zbMATH Keywords

session typestranslationdistributed programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Title not available (Why is that?)
• Typestate: A programming language concept for enhancing software reliability
• Title not available (Why is that?)
• Session types as intuitionistic linear propositions
• Type checking a multithreaded functional language with session types
• CONCUR 2004 - Concurrency Theory
• Higher-order processes, functions, and sessions: a monadic integration
• Parameterised notions of computation
• A simple library implementation of binary sessions
• Context-free session types
• A reflection on call-by-value
• Context-free session type inference
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
• Manifest deadlock-freedom for shared session types
• Session Types with Arithmetic Refinements

Cited In (2)

• Fundamentals of session types
• ANF preserves dependent types up to extensional equality

Uses Software

• session-ocaml

This page was built for publication: Relating Functional and Imperative Session Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043592)