Work

Compositional Programming (Artifact)

Year: 2021

Type: article

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.

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/darts.7.2.11

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

Institutions: University of Bristol, University of Hong Kong

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3184712273

FWCI:

Cites:

Cited by:

Related to: 10