Document Open Access Logo

Lightweight Session Programming in Scala (Artifact)

Authors Alceste Scalas, Nobuko Yoshida

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.2.1.11.pdf
  • Filesize: 364 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • session types
  • Scala
  • concurrency

Metrics

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

Abstract

In the paper "Lightweight Session Programming in Scala", we introduce a "lightweight" integration of session types in the Scala programming language, based on (1) a formal type-level encoding, and (2) a library implementation of linear I/O channels, called lchannels, providing a convenient API for session-based programming, and supporting both local and distributed communication. This artifact is the source code of lchannels, with all the examples and benchmarks discussed in the paper.

Cite As Get BibTex

Alceste Scalas and Nobuko Yoshida. Lightweight Session Programming in Scala (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 11:1-11:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016) https://doi.org/10.4230/DARTS.2.1.11

Author Details

Alceste Scalas
Nobuko Yoshida

Artifact

  MD5 Sum: f54ac784723bf884d204046c1ec332c2 (Get MD5 Sum)

Related Article

  • Alceste Scalas and Nobuko Yoshida, "Lightweight Session Programming in Scala", in 30th European Conference on Object-Oriented Programming (ECOOP 2016), LIPIcs, Vol. 56, pp. 21:1-21:28, 2016. https://doi.org/10.4230/LIPIcs.ECOOP.2016.21
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