Effects, Capabilities, and Boxes
Welcome to our artifact website!
Our artifact consists of the following components:
-
Coq Proofs. We documented our Coq proofs, highlighting the most important aspects and contrasting the definitions with the paper. We recommend you look at the definitions, examples, and the main soundness theorems.
-
Interactive Demo. This website contains additional casestudies, examples from the paper, and additional explanation on capabilities and boxing. All examples can be typechecked and edited in the browser!
Github Repository
The sources of this artifact can be found in the following github repository: