|
45
|
Explaining Type Errors in Polymorphic Languages
– Mike Beaven, Ryan Stansifer
- 1994
|
|
67
|
Finding the source of type errors
– Mitchell Wand
- 1986
|
|
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
|
|
21
|
Debugging type errors �full version
– K L Bernstein, E W Stark
- 1995
|
|
25
|
On the Unification of Substitutions in Type Inference
– Bruce J. Mcadam
- 1998
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
22
|
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
– Olaf Chitil
- 2001
|
|
23
|
A slicing-based approach for locating type errors
– T. B. Dinesh, Frank Tip
- 1997
|
|
323
|
Principal type-schemes for functional programs
– Luis Damas, Robin Milner
- 1982
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
18
|
Explaining Type Errors by Finding the Source of a Type Conflict
– Jun Yang
- 2000
|
|
92
|
Type Assignment in Programming Languages
– L Damas
- 1984
|
|
16
|
Generalising Techniques for Type Debugging
– Bruce J. Mcadam
- 2000
|
|
37
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
– Christian Haack, J. B. Wells
- 2004
|
|
4
|
A maximum approach to anomaly isolation in uni incremental type inference
– Gregory F Johnson, Janet A Walz
- 1986
|
|
60
|
Smartest Recompilation
– Zhong Shao, Andrew W. Appel
- 1993
|
|
73
|
Basic polymorphic typechecking
– Luca Cardelli
- 1987
|
|
6
|
Interactive Programming Environment for ML
– Laurent Thery, Laurence Rideau, Laurence Rideau, Environnement Programmation, Interactif Ml
- 1997
|
