2026-07-21T11:21:30Z https://drops.dagstuhl.de/oai

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

Compositional Programming (Artifact) Zhang, Weixin Sun, Yaozhu Oliveira, Bruno C. d. S. Expression Problem Compositionality Traits Our main paper presents CP, a Compositional Programming language in a statically typed modular programming style. This artifact includes its Haskell implementation, together with several examples and three case studies written in CP. All code snippets in our main paper can be type-checked and run using our CP interpreter. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Weixin Zhang and Yaozhu Sun and Bruno C. d. S. Oliveira 2021 Is Part Of DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.7.2.11 urn:nbn:de:0030-drops-140356 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.11 eng https://creativecommons.org/licenses/by/4.0/legalcode