|
26
|
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
– Fritz Henglein, Harry G. Mairson
- 1991
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
1
|
Reflections on complexity of ML type reconstruction
– Tomasz Wierzbicki
- 1997
|
|
1
|
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
– Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão, Católica Paraná
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
5
|
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
– Paris Kanellakis, Gerd Hillebrand, Harry Mairson
- 1994
|
|
1
|
Abstract ML Has Principal Typings
– Carlos Camarão, Lucília Figueiredo
|
|
12
|
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)
– Gerd G. Hillebrand, Paris C. Kanellakis
- 1994
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
|
Type Systems for Programming Languages
– Steffen van Bakel
- 2001
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
7
|
Types, Potency, and Idempotency: Why Nonlinearity and Amnesia Make a Type System Work
– Peter Møller Neergaard, Harry G. Mairson
- 2004
|
|
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
|
|
1
|
Polymorphic Type Reconstruction Using Type Equations
– Venkatesh Choppella
- 2003
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
53
|
Implementation of the typed call-by-value λ-calculus using a stack of regions
– Mads Tofte
- 1994
|
|
91
|
Putting Type Annotations to Work
– Martin Odersky, Konstantin Läufer
- 1996
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
