A direct algorithm for type inference in the rank2 fragment of the second order -calculus (1994)

by A J Kfoury, J B Wells
Venue:Proc. 1994 ACM Conf. LISP Funct. Program