Back to Search Start Over

The Essence of Nested Composition (Artifact)

Authors :
Xuan Bi and Bruno C. d. S. Oliveira and Tom Schrijvers
Bi, Xuan
Oliveira, Bruno C. d. S.
Schrijvers, Tom
Xuan Bi and Bruno C. d. S. Oliveira and Tom Schrijvers
Bi, Xuan
Oliveira, Bruno C. d. S.
Schrijvers, Tom
Publication Year :
2018

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.

Details

Database :
OAIster
Notes :
application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1358724504
Document Type :
Electronic Resource
Full Text :
https://doi.org/10.4230.DARTS.4.3.5
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details