Companion Artifact for "Model-View-Update-Communicate: Session Types meet the Elm Architecture"
softwareposted on 07.10.2019 by Simon Fowler
Code as a research output can either be uploaded directly from your computer or through the code management system GitHub. Versioning of code repositories is supported.
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.