Implicit Typing à la ML for the Join-Calculus (1997)

by C Fournet, C Laneve, L Maranget, D Rémy
Venue:In Proc. of CONCUR’97