|
37
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
– Christian Haack, J. B. Wells
- 2004
|
|
1
|
Polymorphic Type Reconstruction Using Type Equations
– Venkatesh Choppella
- 2003
|
|
|
Source-tracking Unification using semi-Dyck labeled reachability
– Venkatesh Choppella, Christopher T. Haynes
- 2004
|
|
7
|
Typeview: A Tool for Understanding Type Errors
– Olaf Chitil, Frank Huch, Axel Simon
- 2000
|
|
2
|
Improving Type-Error Messages in Functional Languages
– Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer
- 2002
|
|
3
|
A rewriting semantics for type inference
– George Kuan, David Macqueen, Robert Bruce Findler
- 2007
|
|
19
|
Improved Type Error Reporting
– Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells
- 2000
|
|
11
|
How to Repair Type Errors Automatically
– Bruce Mcadam
- 2001
|
|
18
|
Explaining Type Errors by Finding the Source of a Type Conflict
– Jun Yang
- 2000
|
|
4
|
Kima – an Automated Error Correction System for Concurrent Logic Programs
– Yasuhiro Ajiro, Kazunori Ueda
- 2000
|
|
6
|
Explaining Polymorphic Types
– Yang Jun, Greg Michaelson, Phil Trinder
- 2002
|
|
3
|
Source-tracking Unification
– Christopher T. Haynes
- 2003
|
|
27
|
Scripting the Type Inference Process
– Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
- 2003
|
|
6
|
Searching for Type-Error Messages
– Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
- 2007
|
|
6
|
Diagnosis of Ill-typed Programs
– Venkatesh Choppella, Christopher T. Haynes
- 1995
|
|
1
|
A Visualisation of Polymorphic Type Checking
– Yang Jun, Greg Michaelson
- 1998
|
|
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
|
|
3
|
Heuristics for type error discovery and recovery (revised
– Jurriaan Hage, Bastiaan Heeren
- 2006
|
