linear-mvu-artifact.zip (20.5 MB)
Companion Artifact for "Model-View-Update-Communicate: Session Types meet the Elm Architecture"
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.