31 citations · 31 across the 3 of their papers we have counts for
4 papers
kmclib: Automated Inference and Verification of Session Types
Keigo Imai, Julien Lange, Rumyana Neykova
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at t…
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…
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…
Session Type Inference in Haskell
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
We present an inference system for a version of the Pi-calculus in Haskell for the session type proposed by Honda et al. The session type is very useful in checking if the communic…