Propositions-as-Types and Shared State (Artifact)

This is the companion artifact for the ICFP21 paper *Propositions-as-Types and Shared State* (https://doi.org/10.1145/3473584). 

The artifact consists of a proof-of-concept type-checker and an
interpreter for the language described in the paper. The interpreter
is a fully (fine grain) concurrent runtime system, using the java threads library.

The artifact is distributed as a Debian QEmu image that bundles the source 
code, all its dependencies, the code examples from the paper and
many other additional code examples and tests.