Implicit typing `a la ML for the join-calculus (1997)

by Edric Fournet, Cosimo Laneve, Luc Maranget
Venue:Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science