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
Citations:78 - 14 self

Active Bibliography

12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
9 Typability is undecidable for F+eta – J. B. Wells - 1995
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe
51 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
11 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
Type Checking in System . . . – Christophe Raffalli
12 Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) – Gerd G. Hillebrand, Paris C. Kanellakis - 1994
2 A more direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – Brad Lushman, Gordon V. Cormack - 2006
7 Hierarchies of Decidable Extensions of Bounded Quantification – Sergei Vorobyov - 1994