Document Open Access Logo

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

Author Simon Fowler

PDF
Thumbnail PDF

Artifact Description

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

Document Identifiers

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.

Cite AsGet 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

Artifact

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.

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

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-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact