31 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
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…