Direct Foundations for Compositional Programming

Andong Fan*, Xuejing Huang*, Han Xu, Yaozhu Sun, and Bruno C. d. S. Oliveira (*Equal Contributions)

This is the official repository for the artifact and the extended version of Direct Foundations for Compositional Programming to appear in ECOOP 2022.

• paper.pdf is the extended version of the paper.
• fiplus/ contains the Coq formalization of F_i⁺.

Conference version (28 pages) DOI link: https://doi.org/10.4230/LIPIcs.ECOOP.2022.18

Extended version (35 pages) on arXiv: https://arxiv.org/abs/2205.06150

ECOOP 2022 Artifact DOI link: https://doi.org/10.4230/DARTS.8.2.4