DARTS.9.2.2.pdf
- Filesize: 446 kB
- 3 pages
Document
Dependent Merges and First-Class Environments (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Volume: DARTS, Volume 9 (ECOOP 2023)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-07-11
Artifact Description
Document Identifiers
Acknowledgements
We thank the anonymous reviewers for their helpful comments.
Cite AsGet BibTex
Jinhao Tan and Bruno C. d. S. Oliveira. Dependent Merges and First-Class Environments (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 2:1-2:3, Schloss Dagstuhl β Leibniz-Zentrum fΓΌr Informatik (2023)
https://doi.org/10.4230/DARTS.9.2.2
https://doi.org/10.4230/DARTS.9.2.2
Artifact
DARTS-9-2-2-artifact-b01c543d06c6b11b41f4b6fa55a2051f.zip
(Filesize: 481 kB)
Artifact Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy
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.
Subject Classification
ACM Subject Classification
- Theory of computation β Type theory
Keywords
- First-class Environments
- Disjointness
- Intersection Types
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads