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)
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)
Publisher Copyright: © 2023, The Author(s).
We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.