[图书][B] Top quality type error messages
BJ Heeren - 2005 - Citeseer
Overview. This chapter provides a gentle introduction to type systems, functional languages,
and type error messages. We give examples of reported type error messages to illustrate the …
and type error messages. We give examples of reported type error messages to illustrate the …
Type error slicing in implicitly typed higher-order languages
C Haack, JB Wells - Science of Computer Programming, 2004 - Elsevier
Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …
program point or the program subtree rooted at that point. We present a new approach that …
Heuristics for type error discovery and recovery
Type error messages that are reported for incorrect functional programs can be difficult to
understand. The reason for this is that most type inference algorithms proceed in a …
understand. The reason for this is that most type inference algorithms proceed in a …
Type error slicing in implicitly typed higher-order languages
C Haack, JB Wells - European Symposium on Programming, 2003 - Springer
Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …
program point or the program subtree rooted at that point. We present a new approach that …
[PDF][PDF] Generalizing Hindley-Milner type inference algorithms
Type inferencing according to the standard algorithms W and M often yields uninformative
error messages. Many times, this is a consequence of a bias inherent in the algorithms. The …
error messages. Many times, this is a consequence of a bias inherent in the algorithms. The …
[PDF][PDF] Constraint based type inferencing in Helium
The Helium compiler implements a significant subset of the functional programming
language Haskell. One of the major motivations for developing it was to yield …
language Haskell. One of the major motivations for developing it was to yield …
[图书][B] Unification source-tracking with application to diagnosis of type inference
V Choppella - 2002 - search.proquest.com
INFORMATION TO USERS Page 1 INFORMATION TO USERS This manuscript has been
reproduced from the microfilm master. UMI films the text directly from the original or copy …
reproduced from the microfilm master. UMI films the text directly from the original or copy …
[PDF][PDF] Diagnosis of ill-typed programs
V Choppella, CT Haynes - TR426, Indiana University, 1995 - cs.indiana.edu
A framework, based on syntactic and type constraints, is provided for defining program slices
that contribute to a given type error or similar syntactic property. We specify soundness …
that contribute to a given type error or similar syntactic property. We specify soundness …
[PDF][PDF] Parametric type inferencing for Helium
Helium is a compiler for a large subset of Haskell under development at Universiteit Utrecht.
A major design criterion is the ability to give superb error messages. This is especially …
A major design criterion is the ability to give superb error messages. This is especially …
Visual type inference
M Erwig - Journal of Visual Languages & Computing, 2006 - Elsevier
We describe a type-inference algorithm that is based on labeling nodes with type
information in a graph that represents type constraints. This algorithm produces the same …
information in a graph that represents type constraints. This algorithm produces the same …