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

by C Fournet, C Laneve, L Maranget, D Remy
Venue:Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science