Context-free session types
From MaRDI portal
Publication:2985795
DOI10.1145/2951913.2951926zbMath1361.68052MaRDI QIDQ2985795
Peter Thiemann, Vasco Thudichum Vasconcelos
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2951913.2951926
68Q45: Formal languages and automata
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Unnamed Item, Mixed Sessions, Relating Functional and Imperative Session Types, Deciding the Bisimilarity of Context-Free Session Types, Session Types with Arithmetic Refinements, Concurrent Reversible Sessions, A simple library implementation of binary sessions, Session-typed concurrent contracts, A Theory of Formal Choreographic Languages, The different shades of infinite session types, Mixed sessions, Polymorphic lambda calculus with context-free session types, Nested session types, Session coalgebras: a coalgebraic view on session types and communication protocols, Context-Free Session Type Inference, Unnamed Item