DARTS.2.1.11.pdf
- Filesize: 364 kB
- 2 pages
Document
Lightweight Session Programming in Scala (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Volume: DARTS, Volume 2 (ECOOP 2016)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2016-07-14
Artifact Description
Document Identifiers
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
Artifact
DARTS-2-1-11-artifact-f54ac784723bf884d204046c1ec332c2.tgz
(Filesize: 0.87 GB)
MD5 Sum:
f54ac784723bf884d204046c1ec332c2
(Get MD5 Sum)
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.
Subject Classification
Keywords
- session types
- Scala
- concurrency
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads