Page
%P
-
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...