Document Open Access Logo

Compositional Programming (Artifact)

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



PDF
Thumbnail PDF

Artifact Description

DARTS.7.2.11.pdf
  • 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)
https://doi.org/10.4230/DARTS.7.2.11

Artifact

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