Relating Functional and Imperative Session Types

DOI10.46298/LMCS-18(3:33)2022MaRDI QIDQ5043592zbMATH OpenOpenAlexFDO

Authors Hannes Saffrich, Peter J. Thiemann

Publication date 6 October 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

session typestranslationdistributed programming

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

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)