A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order λ-Calculus (1994)

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