Safe Session-Based Concurrency with Shared Linear State
Abstract
Abstract We introduce $$\textsf{CLASS}$$ CLASS , a session-typed, higher-order, core language that supports concurrent computation with shared linear state.
Related papers
- Propositions-as-types and shared state ICFP 2021
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
- Manifest Deadlock-Freedom for Shared Session Types ESOP 2019
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025
- The Session Abstract Machine ESOP 2024
- Linear Logical Relations for Session-Based Concurrency ESOP 2012