Propositions-as-Types and Shared State (Artifact)

This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). 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