Context-free session types

DOI10.1145/2951913.2951926zbMath1361.68052OpenAlexW2508649175MaRDI 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

zbMATH Keywords

semanticssession typestype checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (17)

Mixed Sessions ⋮ Relating Functional and Imperative Session Types ⋮ A Theory of Formal Choreographic Languages ⋮ The different shades of infinite session types ⋮ A simple library implementation of binary sessions ⋮ Unnamed Item ⋮ Context-Free Session Type Inference ⋮ Unnamed Item ⋮ Nested session types ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Deciding the Bisimilarity of Context-Free Session Types ⋮ Unnamed Item ⋮ Mixed sessions ⋮ Session-typed concurrent contracts ⋮ Session Types with Arithmetic Refinements ⋮ Concurrent Reversible Sessions ⋮ Polymorphic lambda calculus with context-free session types

This page was built for publication: Context-free session types