Showing papers by "Luís Caires published in 2023"
TL;DR: The MathML core language as mentioned in this paper is a session-typed, higher-order, core language that supports concurrent computation with shared linear state, which is similar to our approach.
Abstract: Abstract We introduce $$\textsf{CLASS}$$ CLASS , a session-typed, higher-order, core language that supports concurrent computation with shared linear state.