License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.5
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9236/
Go back to Dagstuhl Artifacts Series


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

The Essence of Nested Composition (Artifact)

pdf-format:
DARTS-4-3-5.pdf (0.3 MB)
artifact-format:
DARTS-4-3-5-artifact-2DDDF320EA677407B10949973A105EB4.zip (0.5 MB)


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.

BibTeX - Entry

@Article{bi_et_al:DARTS:2018:9236,
  author =	{Xuan Bi and Bruno C. d. S. Oliveira and Tom Schrijvers},
  title =	{{The Essence of Nested Composition (Artifact)}},
  pages =	{5:1--5:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2018},
  volume =	{4},
  number =	{3},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9236},
  doi =		{10.4230/DARTS.4.3.5},
  annote =	{Keywords: nested composition, family polymorphism, intersection types, coherence}
}

Keywords: nested composition, family polymorphism, intersection types, coherence
Seminar: DARTS, Volume 4, Issue 3
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.22
Issue Date: 2018
Date of publication: 05.07.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI