Relating Functional and Imperative Session Types

DOI10.46298/lmcs-18(3:33)2022OpenAlexW3093091986MaRDI QIDQ5043592

Hannes Saffrich, Peter 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

zbMATH Keywords

translationsession typesdistributed programming

Mathematics Subject Classification ID

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

Related Items (1)

ANF preserves dependent types up to extensional equality

Uses Software

• session-ocaml

Cites Work

• Unnamed Item
• Unnamed Item
• Type checking a multithreaded functional language with session types
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• A reflection on call-by-value
• Context-free session types
• Context-Free Session Type Inference
• Session Types as Intuitionistic Linear Propositions
• Parameterised notions of computation
• Typestate: A programming language concept for enhancing software reliability
• Session Types with Arithmetic Refinements
• CONCUR 2004 - Concurrency Theory
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• A simple library implementation of binary sessions
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
• Manifest deadlock-freedom for shared session types

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