Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
12 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
3 Rank-2 Intersection and Polymorphic Recursion – Ferruccio Damiani - 2005
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
12 Type Inference and Equational Theories – A. J. Kennedy - 1996
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
found at the ENTCS Macro Home Page. Order-Sorted Generalization 5 – María Alpuente A, Santiago Escobar A, José Meseguer B, Pedro Ojeda A
Practical Type Inference for the GADT Type System – Chuan-kai Lin - 2010
34 Programming Languages and Dimensions – Andrew John Kennedy, Francis Davey, Jean Goubault, Barney Hilken, Jean-pierre Jouannaud, Mikael Rittri, Claudio Rosso, Ian Stark, Mads Tofte In Particular - 1996
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
22 Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) – Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells - 1999
9 Dimension Inference under Polymorphic Recursion – Mikael Rittri - 1995
86 The Essence of Principal Typings – J. B. Wells - 2002