Safe Session-Based Concurrency with Shared Linear State

• Author(s): Rocha, Pedro ; Caires, Luís
• Date: 2023
• Persistent ID: http://hdl.handle.net/10362/155272
• Origin: Repositório Institucional da UNL
• Subject(s): Theoretical Computer Science; Computer Science(all)
• Document Type: Conference object
• Language: English
• Contributor(s): NOVALincs; RUN

Description

Publisher Copyright: © 2023, The Author(s).

We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.