Fluent Session Programming in C#

Shunsuke Kimura
(Gifu University, Japan)
Keigo Imai
(Gifu University, Japan)

We propose SessionC#, a lightweight session typed library for safe concurrent/distributed programming. The key features are (1) the improved fluent interface which enables writing communication in chained method calls, by exploiting C#'s out variables, and (2) amalgamation of session delegation with async/await, which materialises session cancellation in a limited form, which we call session intervention. We show the effectiveness of our proposal via a Bitcoin miner application.

In Stephanie Balzer and Luca Padovani: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2020), Dublin, Ireland, 26th April 2020, Electronic Proceedings in Theoretical Computer Science 314, pp. 61–75.
Published: 3rd April 2020.

ArXived at: https://dx.doi.org/10.4204/EPTCS.314.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org