Compositional Programming (Artifact)

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

Thumbnail PDF

Artifact Description

  • Filesize: 489 kB
  • 2 pages

Document Identifiers

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

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)



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
  • Expression Problem
  • Compositionality
  • Traits


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail