Higher-Order Processes, Functions, and Sessions: A Monadic Integration
No abstract available.
Related papers
- On the Relative Expressiveness of Higher-Order Session Processes ESOP 2016
- Molecule: using monadic and streaming I/O to compose process networks on the JVM OOPSLA 2012
- Monitors and blame assignment for higher-order session types POPL 2016
- Minimal Session Types (Pearl) ECOOP 2019
- Chaperone contracts for higher-order sessions ICFP 2017
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- System Fμ ømega with Context-free Session Types ESOP 2023