Type inference in polymorphic type discipline (1991)

by P Giannini, S Ronchi Della Rocca
Venue:In Theoretical Aspects Comput. Softw. : Int'l Conf., vol. 526 of LNCS