API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
No abstract available.
Related papers
- Less is more: multiparty session types revisited POPL 2019
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
- Speak Now: Safe Actor Programming with Multiparty Session Types OOPSLA 2026
- Multiparty Session Typing, Embedded TACAS 2025
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
- Statically verified refinements for multiparty protocols OOPSLA 2020
- Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types ECOOP 2022
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023