Context-Free Session Type Inference
No abstract available.
Related papers
- Context-Free Session Type Inference TOPLAS 2019
- Context-free session types ICFP 2016
- Deciding the Bisimilarity of Context-Free Session Types TACAS 2020
- Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types TOPLAS 2022
- System Fμ ømega with Context-free Session Types ESOP 2023
- A simple library implementation of binary sessions JFP 2017
- How to Take the Inverse of a Type ECOOP 2022
- Parameterized Algebraic Protocols PLDI 2023