Type inference for recursive definitions (1999)

by Assaf J. Kfoury , Santiago M. Pericás-geertsen
Venue:In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Citations:2 - 1 self

Active Bibliography

AT DIFFERENT RANKS – Santiago M. Pericas-geertsen, Assaf J. Kfoury, Ph. D, Santiago M. Pericas-geertsen - 1999
3 Type Inference for Variant Object Types – Michele Bugliesi, Santiago M. Pericas-Geertsen - 2000
6 Depth subtyping and type inference for object calculi – Michele Bugliesi, Università Ca, Foscari Venezia - 2000
and – Michele Bugliesi, Santiago M. Pericás-geertsen
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
12 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
86 The Essence of Principal Typings – J. B. Wells - 2002
26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
3 Rank-2 Intersection and Polymorphic Recursion – Ferruccio Damiani - 2005
3 On Typability for Rank-2 Intersection Types with Polymorphic Recursion ∗ – Tachio Terauchi
Practical Type Inference for the GADT Type System – Chuan-kai Lin - 2010
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996