Document details

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)


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.

Document Type Conference object
Language English
Contributor(s) NOVALincs; RUN
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents