2 papers
cs.PL2020
Multiparty Session Programming with Global Protocol Combinators
Keigo Imai, Rumyana Neykova, Nobuko Yoshida +1
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating proces…
cs.PL2020
Fluent Session Programming in C#
Shunsuke Kimura, Keigo Imai
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…