A semantics for static type inference. Information and Computation (1994)

by G D Plotkin
Venue:In Proceedings, Colloque sur la Programmation,Springer LNCS 19