Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:spiral.imperial.ac.uk:10044/1/51003

Lightweight session programming in Scala (artifact)

Authors
Publication date
17 July 2016
Publisher

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

Similar works

Full text

thumbnail-image

Spiral - Imperial College Digital Repository

redirect

This paper was published in Spiral - Imperial College Digital Repository.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.