Context-free session types

DOI10.1145/2951913.2951926MaRDI QIDQ2985795zbMATH OpenOpenAlexFDO

Authors Peter J. Thiemann, Vasco T. 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

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

Recommendations

• Context-free session type inference
• Nested session types
• Session types revisited
• CONCUR 2004 - Concurrency Theory
• Session types at the mirror

Cited in

(31)

• Session types without sophistry. System description
• Mixed sessions
• Polymorphic lambda calculus with context-free session types
• Nested session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Session Types with Gradual Typing
• Type-Based Analysis for Session Inference (Extended Abstract)
• Synthesising Choreographies from Local Session Types
• Nested protocols in session types
• Context-free session type inference
• Context-free session types for applied pi-calculus
• scientific article; zbMATH DE number 6131659 (Why is no real title available?)
• Rast: a language for resource-aware session types
• Mixed sessions
• Relating Functional and Imperative Session Types
• Session Types with Arithmetic Refinements
• \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
• Concurrent reversible sessions
• Deciding the bisimilarity of context-free session types
• A simple library implementation of binary sessions
• Deriving session and union types for objects
• Session-typed concurrent contracts
• A Theory of Formal Choreographic Languages
• The different shades of infinite session types
• Polymorphic higher-order context-free session types
• System \(F^\mu_\omega\) with context-free session types
• Complete multiparty session type projection with automata
• Subtyping context-free session types
• Kind inference for the \textsc{FreeST} programming language
• A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing
• Subtyping context-free session types

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

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