Direct Foundations for Compositional Programming (Artifact)

Autor:	Fan, Andong, Huang, Xuejing, Xu, Han, Sun, Yaozhu, Oliveira, Bruno C. d. S.
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS operational semantics Intersection types disjoint polymorphism Theory of computation → Type theory
DOI:	10.4230/darts.8.2.4
Popis:	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. DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 4:1-4:3
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::730e5e49022e04077e24953ab9906c08 Zobrazit plný text záznamu