Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Lightweight session programming in Scala (artifact)
File(s)
DARTS.2.1.11.pdf (364.9 KB)
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
URI
DOI
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)
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