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
Citations:47 - 12 self