Dependent Merges and First-Class Environments (Artifact)

Autor:	Tan, Jinhao, Oliveira, Bruno C. d. S.
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Disjointness Intersection Types Theory of computation → Type theory First-class Environments
DOI:	10.4230/darts.9.2.2
Popis:	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. DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 2:1-2:3
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::404a3f20935dffef80b433142568e7dc Zobrazit plný text záznamu