License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.4
URN: urn:nbn:de:0030-drops-162020
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16202/
Fan, Andong ;
Huang, Xuejing ;
Xu, Han ;
Sun, Yaozhu ;
Oliveira, Bruno C. d. S.
Direct Foundations for Compositional Programming (Artifact)
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
Our companion paper proposes a new formulation of the ?_{i}^{+} calculus with disjoint polymorphism and a merge operator based on Type-Directed Operational Semantics. The artifact contains Coq formalization of the ?_{i}^{+} calculus and our new implementation of the CP language, which demonstrates the new ?_{i}^{+} can serve as the direct foundation for Compositional Programming.
BibTeX - Entry
@Article{fan_et_al:DARTS.8.2.4,
author = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
title = {{Direct Foundations for Compositional Programming (Artifact)}},
pages = {4:1--4:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16202},
URN = {urn:nbn:de:0030-drops-162020},
doi = {10.4230/DARTS.8.2.4},
annote = {Keywords: Intersection types, disjoint polymorphism, operational semantics}
}
|
Keywords: |
|
Intersection types, disjoint polymorphism, operational semantics |
|
Collection: |
|
DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) |
|
Issue Date: |
|
2022 |
|
Date of publication: |
|
23.06.2022 |
