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 Proceedings of the ACM Conference on Lisp and functional programming