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:87 - 14 self

Active Bibliography

13 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
62 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
141 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
985 A theory of type polymorphism in programming – Robin Milner - 1978
339 Theorems for free! – Philip Wadler - 1989
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
11 Typability is undecidable for F+eta – J. B. Wells - 1995