|
11
|
How to Repair Type Errors Automatically
– Bruce Mcadam
- 2001
|
|
1
|
Polymorphic Type Reconstruction Using Type Equations
– Venkatesh Choppella
- 2003
|
|
18
|
Explaining Type Errors by Finding the Source of a Type Conflict
– Jun Yang
- 2000
|
|
22
|
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
– Olaf Chitil
- 2001
|
|
2
|
Improving Type-Error Messages in Functional Languages
– Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer
- 2002
|
|
19
|
Improved Type Error Reporting
– Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells
- 2000
|
|
|
Source-tracking Unification using semi-Dyck labeled reachability
– Venkatesh Choppella, Christopher T. Haynes
- 2004
|
|
6
|
Searching for Type-Error Messages
– Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
- 2007
|
|
3
|
Source-tracking Unification
– Christopher T. Haynes
- 2003
|
|
27
|
Scripting the Type Inference Process
– Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
- 2003
|
|
8
|
Discriminative Sum Types Locate the Source of Type Errors
– Matthias Neubauer, Peter Thiemann
- 2003
|
|
7
|
Typeview: A Tool for Understanding Type Errors
– Olaf Chitil, Frank Huch, Axel Simon
- 2000
|
|
80
|
From Symptom to Cause: Localizing Errors in Counterexample Traces
– Thomas Ball, Mayur Naik, Sriram K. Rajamani
- 2003
|
|
13
|
A type system equivalent to a model checker
– Mayur Naik, Jens Palsberg
- 2005
|
|
25
|
On the Unification of Substitutions in Type Inference
– Bruce J. Mcadam
- 1998
|
|
3
|
A rewriting semantics for type inference
– George Kuan, David Macqueen, Robert Bruce Findler
- 2007
|
|
6
|
Explaining Polymorphic Types
– Yang Jun, Greg Michaelson, Phil Trinder
- 2002
|
|
16
|
Generalising Techniques for Type Debugging
– Bruce J. Mcadam
- 2000
|
|
4
|
Debugging Type Errors
– Karen L. Bernstein, Eugene W. Stark
- 1995
|
