Implicit typing a la ML for the joincalculus (1997)

by Cedric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy
Venue:In Proceedings of the 8th International Conference on Concurrency Theory