Type-Safe Eventful Sessions in Java
Abstract elided by the publisher.
Related papers
- Speak Now: Safe Actor Programming with Multiparty Session Types OOPSLA 2026
- A multiparty session typing discipline for fault-tolerant event-driven distributed programming OOPSLA 2021
- Protocols by Default - Safe MPI Code Generation Based on Session Types CC 2015
- Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
- Safe Session-Based Concurrency with Shared Linear State ESOP 2023
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP 2021
- Multiparty Session Typing in Java, Deductively TACAS 2023
- Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types ECOOP 2022