31 citations · 33 across the 2 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…