Dependent Merges and First-Class Environments (Artifact)

Authors :: Tan, Jinhao
Oliveira, Bruno C. d. S.
Publication Year :: 2023
Publisher :: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
Abstract: This artifact contains the mechanical formalization of the calculi associated with the paper Dependent Merges and First-Class Environments. All of the metatheory has been formalized in Coq theorem prover. The paper studies a statically typed calculus, called 𝖤_i, with first-class environments. The main novelty of the 𝖤_i calculus is its support for first-class environments, together with an expressive set of operators that manipulate them.<br />DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 2:1-2:3