You can download our artifact from
here, which consists of
- paper.pdf: the accepted paper
- material.pdf: the material including definitions and proofs of the calculus and the type translation
- mcc.vdi: compressed VirtualBox disk image containing a prototype implementation of our calculus on top of OCaml
- instructions.pdf: instructions for use of our prototype