Published August 25, 2024
| Version v3
Software
Open
A Case for First-Class Environments (Artifact)
Description
This artifact contains the mechanical formalization of the calculi associated with the paper: A Case for First-Class Environments. All of the metatheory has been formalized in Coq theorem prover. The artifact can be either compiled in the pre-built docker image with all the dependencies installed or built from scratch.