Safe Session-Based Concurrency with Shared Linear State (Artifact)

This is the  companion artifact for the ESOP23 paper Safe Session-Based Concurrency with Shared Linear State. The artifact consists of a type checker and an interpreter for language CLASS - a session-typed, higher-order, core language that supports concurrent computation with shared linear state, and which is described in detail in the paper.

The artifact is distributed as a Docker image that bundles the source code, all its dependencies, all the examples from the paper and several other examples that showcase the expressiveness of language CLASS, as well as several test suites.