|
52
|
Explaining Type Inference
– Dominic Duggan, Frederick Bent
- 1995
|
|
45
|
Explaining Type Errors in Polymorphic Languages
– Mike Beaven, Ryan Stansifer
- 1994
|
|
37
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
– Christian Haack, J. B. Wells
- 2004
|
|
49
|
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
– Oukseh Lee, Kwangkeun Yi
- 1998
|
|
38
|
A maximum flow approach to anomaly isolation in unificationbased incremental type inference
– J A Walz, G F Johnson
- 1986
|
|
67
|
Finding the source of type errors
– Mitchell Wand
- 1986
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
25
|
On the Unification of Substitutions in Type Inference
– Bruce J. Mcadam
- 1998
|
|
92
|
Type Assignment in Programming Languages
– L Damas
- 1984
|
|
323
|
Principal type-schemes for functional programs
– Luis Damas, Robin Milner
- 1982
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
16
|
Generalising Techniques for Type Debugging
– Bruce J. Mcadam
- 2000
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
19
|
Improved Type Error Reporting
– Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells
- 2000
|
|
8
|
Generalizing Hindley-Milner Type Inference Algorithms
– Bastiaan Heeren, Bastiaan Heeren, Jurriaan Hage, Jurriaan Hage, Doaitse Swierstra, Doaitse Swierstra
- 2002
|
|
10
|
A Generalized Let-Polymorphic Type Inference Algorithm
– Oukseh Lee, Kwangkeun Yi
- 2000
|
|
7
|
Parametric type inferencing for Helium
– Bastiaan Heeren, Jurriaan Hage
- 2002
|
|
4
|
Finding all minimal unsatisfiable constraints
– M García de la Banda, P J Stuckey, J Wazny
- 2003
|
|
86
|
Operational Semantics and Confluence of Constraint Propagation Rules
– Slim Abdennadher
- 1997
|
