Compositional Explanation of Types and Algorithmic Debugging of Type Errors (2001)

Cached

Download Links

by Olaf Chitil
Citations:23 - 0 self

Active Bibliography

45 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
10 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
4 Graphs for Recording Type Information – Bruce J. McAdam - 1999
19 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
7 Explaining Polymorphic Types – Yang Jun, Greg Michaelson, Phil Trinder - 2002
3 Source-tracking Unification – Christopher T. Haynes - 2003
30 Scripting the Type Inference Process – Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra - 2003
13 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
107 From Symptom to Cause: Localizing Errors in Counterexample Traces – Thomas Ball, Mayur Naik, Sriram K. Rajamani - 2003
14 A type system equivalent to a model checker – Mayur Naik, Jens Palsberg - 2005