MobilityReadingGroup

Lchannels

Type-safe session programming in Scala

lchannels is a Scala library for type-safe session programming. It provides linear I/O channels, which allow to transfer data locally, or over a network. Its API allows to

1. define protocols, represented as a set of continuation-passing style classes, and
2. easily write programs that interact according to such protocols

The Scala type checker can examine the resulting code and spot many protocol violations at compile time.

• Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017 : 24:1 - 24:31.
• Alceste Scalas, Nobuko Yoshida: Lightweight Session Programming in Scala. ECOOP 2016 : 21:1 - 21:28.