论文标题
C＃中的流利会话编程
Fluent Session Programming in C#
论文作者
论文摘要
我们建议Sessionc＃，一个轻量级会话键入库，用于安全并发/分布式编程。关键功能是（1）改进的流利界面，可以通过利用C＃的OUT变量来编写通信，以及（2）将会话委托与异步/等待的融合，以有限的形式实现会话取消，我们称会话干预。我们通过比特币矿工应用显示了提案的有效性。
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.
