2026-07-22T05:24:20Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9236 2024-03-06T11:05:03Z ddc:004 open_access

The Essence of Nested Composition (Artifact) Bi, Xuan Oliveira, Bruno C. d. S. Schrijvers, Tom nested composition family polymorphism intersection types coherence 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Xuan Bi and Bruno C. d. S. Oliveira and Tom Schrijvers 2018 Is Part Of DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.3.5 urn:nbn:de:0030-drops-92363 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.5 eng https://creativecommons.org/licenses/by/3.0/de/legalcode