linear-mvu-artifact.zip (20.5 MB)

Companion Artifact for "Model-View-Update-Communicate: Session Types meet the Elm Architecture"

Download (20.5 MB)
software
posted on 07.10.2019 by Simon Fowler
This package is the companion artifact for the draft paper, "Model-View-Update-Communicate: Session Types meet the Elm Architecture".

The package consists of a Docker image containing the Links programming language with the linear MVU library described in the paper. The package also contains the examples used in the paper.

Full instructions can be found in the enclosed README file.

Funding

ERC-2015-CoG, Skye: A programming language bridging theory and practice for scientific data curation

History

Licence

Exports