This Zenodo link contains the artifact accompanying the paper “Mode Crossing”.

The artifact contains: - the Rocq proofs supporting some of the claims of this paper. - the OxCaml compiler sources, binaries, and playground with mode crossing support - the code examples from the paper - scripts to reproduce the empirical measurements in the appendix - a virtual machine to with all these components set up and ready to run.