Implicit Typing la ML for the Join-Calculus.

Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy

Browse the full CONCUR paper archive.