Document Open Access Logo

Compositional Programming (Artifact)

Authors Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.7.2.11.pdf
  • Filesize: 489 kB
  • 2 pages

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Weixin Zhang
  • University of Bristol, United Kingdom
  • The University of Hong Kong, China
Yaozhu Sun
  • The University of Hong Kong, China
Bruno C. d. S. Oliveira
  • The University of Hong Kong, China

Funding

This work has been sponsored by the Hong Kong Research Grant Council projects number 17210617 and 17209519. The first author conducted this research while at the University of Hong Kong.

Artifact

  MD5 Sum: b77837955aff63c19767f7bbcd53f075 (Get MD5 Sum)

Related Article

  • Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira, "Compositional Programming", in ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 43, 2021. https://doi.org/10.1145/3460228
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact