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

by C Fournet, C Laneve, L Maranget, D Remy
Venue:In Proceedings of CONCUR'97, LNCS 1243