Fluent Session Programming in C#

2020/04/03 by Shunsuke Kimura, Keigo Imai
Computer Science · #cs.PL

paper · pdf · doi:10.4204/eptcs.314.6

published as EPTCS 314, 2020, pp. 61-75 · In Proceedings PLACES 2020, arXiv:2004.01062

arxiv created 2020/04/03 · arxiv updated 2020/04/06

Abstract

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.

Citations

• Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software