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

Document Versions

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus –A. J. Kfoury, J. B. Wells — 1993
A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order λ-Calculus –A. J. Kfoury, J. B. Wells — 1994 — In Proc. 1994 ACM Conf. LISP Funct. Program
A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order λ-Calculus –A.J. Kfoury, J. B. Wells — 1993 — In Proc. 1994 ACM Conf. LISP Funct. Program