Document Open Access Logo

Dependent Merges and First-Class Environments (Artifact)

Authors Jinhao Tan, Bruno C. d. S. Oliveira

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.9.2.2.pdf
  • Filesize: 446 kB
  • 3 pages

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Jinhao Tan
  • The University of Hong Kong, China
Bruno C. d. S. Oliveira
  • The University of Hong Kong, China

Funding

Hong Kong Research Grant Council projects number 17209520 and 17209821 sponsored this work.

Acknowledgements

We thank the anonymous reviewers for their helpful comments.

Artifact

  MD5 Sum: b01c543d06c6b11b41f4b6fa55a2051f (Get MD5 Sum)

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

Related Article

  • Jinhao Tan and Bruno C. d. S. Oliveira, "Dependent Merges and First-Class Environments", in 37th European Conference on Object-Oriented Programming (ECOOP 2023), LIPIcs, Vol. 263, pp. 34:1-34:32, 2023. https://doi.org/10.4230/LIPIcs.ECOOP.2023.34
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact