Selected Research Papers

[Explanation of Type Errors] [Constraint-Based Type Inference] [Type Inference Algorithms] [Abstract Interpretation] [Related Topics]

Explanation of Type Errors

M. Wand
Finding the source of type errors
1986 [link] [bib]
Mike Beaven, Ryan Stansifer
Explaining type errors in polymorphic languages
1993 [ps] [bib]
Karen L. Bernstein, Eugene W. Stark
Debugging Type Errors (Full version)
1995 [paper] [bib]
Venkatesh Choppella, Christopher T. Haynes
Diagnosis of Ill-typed Programs
1995 [ps] [bib]
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Correcting Type Errors in the Curry System
1995 [bib]
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
Catching Bugs in the Web of Program Invariants
1996 [paper] [bib]
D. Duggan, F. Bent
Explaining type inference
1996 [paper] [bib]
Bruce J. McAdam
On the Unification of Substitutions in Type Inference
1998 [ps] [bib]
F. Tip, T.B. Dinesh
A Slicing-Based Approach for Locating Type Errors
1998 [paper] [bib]
Bruce J. McAdam
Generalising Techniques for Type Explanation
1999 [ps] [bib]
Yang Jun
Explaining Type Errors by Finding the Sources of Type Conflicts
1999 [pdf] [bib]
Olaf Chitil, Frank Huch, Axel Simon
Typeview: a tool for understanding type errors
2000 [ps] [bib]
Yang Jun, Greg Michaelson, Phil Trinder
How do people check polymorphic types
2000 [pdf] [bib]
Yang Jun, Greg Michaelson, Phil Trinder
Helping Students Understand Polymorphic Type Errors
2000 [doc] [bib]
Olaf Chitil
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
2001 [ps] [bib]
Bruce J. McAdam
How to Repair Type Errors Automatically
2001 [ps] [bib]
Christian Haack, Joe Wells
Type Error Slicing in Implicitly Typed, Higher-Order Languages
2003 [pdf] [bib]
Matthias Neubauer, Peter Thiemann
Discriminative Sum Types Locate the Source of Type Errors
2003 [pdf] [bib]
Peter Stuckey, Martin Sulzmann, Jeremy Wazny
Interactive Type Debugging in Haskell
2003 [ps.gz] [bib]
Martin Erwig
Visual Type Inference
2003 [pdf]
Peter A. Jonsson, Viktor Leijon
Propagation of Location Information in Constrained Type Inference
2003 [pdf]
Bernd Brassel
TypeHope - There is Hope for your Type Errors
2004 [ps]
(don't forget to check my own publication list)

Constraint-Based Type Inference

J. A. Walz, G. F. Johnson
A maximum flow approach to anomaly isolation in unification-based incremental type inference
1986 [link] [bib]
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
Soft Typing with Conditional Types
1994 [ps] [bib]
Mark P. Jones
Simplifying and improving qualified types
1995 [paper] [bib]
Valery Trifonov, Scott Smith
Subtyping Constrained Types
1996 [ps] [bib]
Martin Sulzmann, Martin Odersky, Martin Wehr
Type Inference with Constrained Types
1997 [ps] [bib]
Alexander Aiken
Introduction to Set Constraint-Based Program Analysis
1999 [ps] [bib]
Martin Sulzmann, Martin Muller, Christoph Zenger
Hindley/Milner style type systems in constraint form
1999 [paper] [bib]
Martin Sulzmann
A General Framework for Hindley/Milner Type Systems with Constraints
2000 [ps] [bib]

Type Inference Algorithms

Robin Milner
A Theory of Type Polymorphism in Programming
1978 [bib]
Luis Damas, Robin Milner
Principal type schemes for functional programs
1982 [paper] [bib]
Luca Cardelli
Type Systems
1997 [ps] [bib]
Oukseh Lee, Kwangkeun Yi
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
1998 [pdf] [bib]
Mark P. Jones
Typing Haskell in Haskell
1999 [ps] [bib]
Oukseh Lee, Kwangkeun Yi
A Generalized Let-Polymorphic Type Inference Algorithm
2000 [paper] [bib]
Oukseh Lee, Kwangkeun Yi
A generalization of Hybrid Let-Polymorphic Type Inference Algorithms
2000 [ps] [bib]

Abstract Interpretation

Patrick Cousot, Radhia Cousot
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
1977 [pdf] [bib]
Neil D. Jones, Flemming Nielson
Abstract Interpretation: a Semantics-Based Tool for Program Analysis
1994 [ps] [bib]
Andrei Sabelfeld, Viktor Sabelfeld
Forwards and backwards analysis for functional programs
1998 [paper] [bib]