The Essence of Nested Composition (Artifact)

Authors Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers



PDF
Thumbnail PDF

Artifact Description

DARTS.4.3.5.pdf
  • Filesize: 323 kB
  • 2 pages

Document Identifiers

Author Details

Xuan Bi
Bruno C. d. S. Oliveira
Tom Schrijvers

Cite AsGet BibTex

Xuan Bi, Bruno C. d. S. Oliveira, and Tom Schrijvers. The Essence of Nested Composition (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 5:1-5:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DARTS.4.3.5

Artifact

Abstract

The artifact contains the Coq formalization of \name, a simple calculus with disjoint intersection types supporting nested subtyping and composition, as described in the companion paper.
Keywords
  • nested composition
  • family polymorphism
  • intersection types
  • coherence

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail