Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Safe Session-Based Concurrency with Shared Linear State
We introduce \(\textsf{CLASS}\) CLASS , a session-typed, higher-order, core language that su...
Chapter and Conference Paper
We introduce \(\textsf{CLASS}\) CLASS , a session-typed, higher-order, core language that su...