Document Open Access Logo

Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)

Author Simon Fowler

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.6.2.13.pdf
  • Filesize: 315 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Concurrent programming languages
Keywords
  • Session types
  • concurrent programming
  • Model-View-Update

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

Model-View-Update (MVU) is a development pattern for user interfaces pioneered by the Elm programming language. In the accompanying paper, we show a theoretical model of MVU, and detail how it can be extended to support session-typed communication.
This artifact consists of a Docker image which contains a version of the Links programming language, equipped with an MVU library supporting session-typed communication. The implementation is showcased by all examples provided in the paper, alongside larger examples including a two-factor authentication workflow and multi-room chat server.

Cite As Get BibTex

Simon Fowler. Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 13:1-13:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/DARTS.6.2.13

Author Details

Simon Fowler
  • University of Edinburgh, United Kingdom

Funding

This work was supported by ERC Consolidator Grant Skye (grant no. 682315) and an ISCF Metrology Fellowship grant provided by the UK government's Department for Business, Energy and Industrial Strategy (BEIS).

Acknowledgements

I thank the ECOOP'20 Artifact Evaluation Committee for their detailed and constructive reviews. The packaging of this artifact is based on https://doi.org/10.1145/3291617.

Artifact

  MD5 Sum: 103bcb663293d8fbbd1917d0dce292b5 (Get MD5 Sum)

Related Article

  • Simon Fowler, "Model-View-Update-Communicate: Session Types Meet the Elm Architecture", in 34th European Conference on Object-Oriented Programming (ECOOP 2020), LIPIcs, Vol. 166, pp. 14:1 - 14:28, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.14

References

  1. Simon Fowler, Sam Lindley, J. Garrett Morris, and Sára Decova. Exceptional asynchronous session types: Session types without tiers (companion artifact). URL: https://doi.org/10.1145/3291617.
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact