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

by A.J. Kfoury , J. B. Wells
Venue:In Proc. 1994 ACM Conf. LISP Funct. Program
Citations:78 - 14 self