Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Faculty of Engineering
  4. Lightweight session programming in Scala (artifact)
 
  • Details
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
http://hdl.handle.net/10044/1/51003
DOI
https://www.dx.doi.org/10.4230/DARTS.2.1.11
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback