Nested session types
From MaRDI portal
Publication:2233456
DOI10.1007/978-3-030-72019-3_7zbMath1473.68113arXiv2010.06482OpenAlexW3149247157MaRDI QIDQ2233456
Frank Pfenning, Henry DeYoung, Ankush Das, Andreia Mordido
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2010.06482
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (4)
The different shades of infinite session types ⋮ Polarized subtyping ⋮ Nested session types ⋮ Polymorphic lambda calculus with context-free session types
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logical relations and observational equivalences for session-based concurrency
- Relating state-based and process-based concurrency through linear logic (full-version)
- A principled approach to programming with nested types in Haskell
- The inclusion problem for simple languages
- PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings
- Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002. Revised papers
- \(L(A)=L(B)\)? A simplified decidability proof.
- Nested session types
- Session types revisited
- Subtyping for session types in the pi calculus
- Polarized Substructural Session Types
- Talking bananas: structural recursion for session types
- Context-free session types
- Bounded polymorphism in session types
- Session Types as Intuitionistic Linear Propositions
- Generalizing generalized tries
- Purely Functional Data Structures
- A generalization of the trie data structure
- Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
- Session Types with Arithmetic Refinements
- Work Analysis with Resource-Aware Session Types
- Deciding the Bisimilarity of Context-Free Session Types
- Propositions as sessions
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- LALBLC A Program Testing the Equivalence of dpda’s
- Linear logic propositions as session types
- Typing Copyless Message Passing
- Decidability of DPDA equivalence
This page was built for publication: Nested session types
