DARTS.7.2.11.pdf
- Filesize: 489 kB
- 2 pages
Document
Compositional Programming (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Volume: DARTS, Volume 7 (ECOOP 2021)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2021-07-06
Artifact Description
Document Identifiers
Cite AsGet BibTex
Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira. Compositional Programming (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 11:1-11:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.2.11
https://doi.org/10.4230/DARTS.7.2.11
Artifact
DARTS-7-2-11-artifact-b77837955aff63c19767f7bbcd53f075.tar.gz
(Filesize: 0.55 GB)
Abstract
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.
Subject Classification
ACM Subject Classification
- Software and its engineering → Object oriented languages
Keywords
- Expression Problem
- Compositionality
- Traits
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads