Bruce McAdam  Home/Search
Context Related
| scms.rgu.ac.uk/staff/bjm/d...sfp2001.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: scms.rgu.ac.uk/staff/bjm/doc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This chapter introduces a novel system for generating type error messages which suggest ways of repairing mistakes. Both the theory behind this, and the implementation (as part of the MLj compiler) are described. (Update)
Context of citations to this paper: More
...system for this real language and compiler (Section 6.4.1) and on the performance of the implementation (Section 6.4. 2) This section is based on material in [McA01] Figure 6.12 Morphism expressions. lp p map c e 1 e 1 e ml 6.4.1 Implementing the Theory There are several...
Cited by: More
Inferring Type Isomorphisms Generically - Atanassow, Jeuring (Correct)
Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Active bibliography (related documents): More All
0.4: Graphs for Recording Type Information - Bruce Mcadam Laboratory (Correct)
0.4: Improving Type-Error Messages in Functional Languages - Heeren, Jeuring.. (2002) (Correct)
0.3: Functional Programming Languages for Verification.. - Leucker, Noll.. (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: MLj 0.2 User Guide - Benton, Kennedy, Russell (1999) (Correct)
0.2: Interactive Type Debugging - McAdam (1998) (Correct)
0.2: On the Unification of Substitutions in Type-Inference - McAdam (1998) (Correct)
Related documents from co-citation: More All
3: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
2: Institut National de Recherche en Informatique et Automatique (context) - Leroy, Caml et al. - 1996
2: the unification of substitutions in type-inference - McAdam - 1998
BibTeX entry: (Update)
Bruce McAdam. How to Repair Type Errors Automatically. In Scottish Functional Programming Workshop, Stirling, U.K., pages 121--135, August 2001. http://citeseer.ist.psu.edu/mcadam01how.html More
@misc{ mcadam01how,
author = "B. McAdam",
title = "How to Repair Type Errors Automatically",
text = "Bruce McAdam. How to Repair Type Errors Automatically. In Scottish Functional
Programming Workshop, Stirling, U.K., pages 121--135, August 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/mcadam01how.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
343 Principal Type-Schemes for Functional Programs (context) - Damas, Milner
45 Finding the Source of Type Errors (context) - Wand - 1986
30 Explaining Type Errors in Polymorphic Languages - Beaven, Stansifer - 1993
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
27 Proofs about a Folklore Let-Polymorphic Type Inference Algor.. - Lee, Yi - 1998
20 Adventures in Associative-Commutative Unification - Lincoln, Christian - 1989
17 the Unification of Substitutions in Type Inference - McAdam - 1998
17 the Unification Problem for Cartesian Closed Categories - Narendran, Pfenning et al. - 1993
10 Computer Science Department (context) - Bernstein, Stark et al. - 1995
10 Explaining type errors by finding the source of a type confl.. - Yang
5 Generalising Techniques for Type Explanation (context) - McAdam
3 Repairing Type Errors in Functional Programs - McAdam - 2001
2 Human-like Explanations of Polymorphic Types (context) - Yang, Michaelson et al. - 2001
2 Error Message Guidelines (context) - Nielson - 2001
Documents on the same site (http://www.scms.rgu.ac.uk/staff/bjm/doc/): More
Y in Practical Programs (Extended Abstract) - McAdams (2001) (Correct)
Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Type Inference for MLj - Bruce Mcadam Andrew (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC