Behavioral Polymorphism and Parametricity in Session-Based Communication
No abstract available.
Related papers
- A simple library implementation of binary sessions JFP 2017
- Nested Session Types TOPLAS 2022
- Nested Session Types ESOP 2021
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Parallel complexity analysis with temporal session types ICFP 2018
- Formal Parametric Polymorphism POPL 1993
- Monitors and blame assignment for higher-order session types POPL 2016
- Parametricity as Subtyping POPL 1992