Lightweight session programming in Scala (artifact)
File(s)
Published version
Author(s)
Scalas, Alceste
Yoshida, Nobuko
Type
Conference Paper
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.
Date Issued
2016-07-17
Date Acceptance
2016-07-01
Citation
Dagstuhl Artifacts Series (DARTS), 2016, 2 (1), pp.11:1-11:2
Publisher
Dagstuhl Artifacts Series (DARTS)
Start Page
11:1
End Page
11:2
Journal / Book Title
Dagstuhl Artifacts Series (DARTS)
Volume
2
Issue
1
Copyright Statement
© Alceste Scalas and Nobuko Yoshida;
licensed under Creative Commons Attribution 3.0 Germany (CC BY 3.0 DE)
licensed under Creative Commons Attribution 3.0 Germany (CC BY 3.0 DE)
Source
30th European Conference on Object-Oriented Programming (ECOOP 2016)
Subjects
concurrency
Scala
session types
Publication Status
Published
Start Date
2016-07-17
Finish Date
2016-07-22
Coverage Spatial
http://dx.doi.org/10.4230/DARTS.2.1.11