Jun Yang  Home/Search
Context Related
| cee.hw.ac.uk/pub/funcpro...y.sfp99.ps.Z 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: cee.hw.ac.uk/Researc...funct_prog (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Typically a type error is reported when uni cation fails, even though the programmer 's actual error may have occurred much earlier in the program. The W and M inference algorithms report the site where a type conict is detected. The error message is isolated information: it is not clear from the error information the relationship between the site and the context in which the subexpression was typed. As a result, the error message may give little help to locate the source of the error. This... (Update)
Context of citations to this paper: More
...required for these analyses is captured in the type graph. McAdam [McA00] describes a di#erent graph to store the information. Yang [Jun00] claims that conflicting sites should be reported rather than a single location. To incorporate this approach for a type graph only...
.... to capture information about types in a graph [11] This approach is a generalisation of several other techniques [4, 14, 6] Jun [8] gives an inference algorithm that reports conflicting sites rather than the site where a conflict is detected. Only little knowledge about...
Cited by: More
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
Improving Type-Error Messages in Functional Languages - Heeren, Jeuring.. (2002) (Correct)
Similar documents (at the sentence level):
12.0%: Explaining Type Errors by Finding the Source of a Type Conflict - Yang (2000) (Correct)
7.8%: Improving Polymorphic Type Explanations - Yang (2001) (Correct)
5.4%: Improved Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
Active bibliography (related documents): More All
0.6: Typeview: A Tool for Understanding Type Errors - Chitil, Huch, Simon (2000) (Correct)
0.4: Improving Polymorphic Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
0.2: Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
Similar documents based on text: More All
0.3: Towards a Minimal Hosting Specification for Open Agent.. - Hoile, Bonsma (2002) (Correct)
0.1: Modelling Conflict-Resolution Dialogues - de Rosis, Grasso, Castelfranchi, .. (Correct)
0.1: Learning from Social Informatics: Information and Communication .. - Kling, al. (2000) (Correct)
Related documents from co-citation: More All
10: Explaining type errors in polymorphic languages - Beaven, Stansifer - 1994
10: Finding the source of type errors (context) - Wand - 1986
9: the unification of substitutions in type-inference - McAdam - 1998
BibTeX entry: (Update)
Yang, J. Explaining type errors by finding the source of a type conflict. In G. Michaelson, P. Trinder and H-W. Loidl, editors, Trends in Functional Programming, pages 58--66, Intellect, 2000. http://citeseer.ist.psu.edu/article/yang99explaining.html More
@misc{ yang00explaining,
author = "J. Yang",
title = "Explaining type errors by finding the source of a type conflict",
text = "Yang, J. Explaining type errors by finding the source of a type conflict.
In G. Michaelson, P. Trinder and H-W. Loidl, editors, Trends in Functional
Programming, pages 58--66, Intellect, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/article/yang99explaining.html" }
Citations (may not include all citations):59 Smartest recompilation - Shao, Appel - 1993
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
15 Debugging type errors - Bernstein, Stark - 1995
15 An explanation based polymorphic type-checker for Standard M.. (context) - Soosaipillai - 1990
5 A maximum- ow approach to anomaly isolation in unication-bas.. (context) - Johnson, Walz - 1986
5 the unication of substitutions in type-inference (context) - McAdam - 1998
4 Institut National de Recherche en Informatique et en Automat.. (context) - Rideau, Thery et al. - 1997
1 Personal communication Chalmers Univ of Technology (context) - Agat, orgen - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cee.hw.ac.uk/Research/funct_prog.html): More
Prototyping a parallel vision system in Standard ML - Michaelson (1993) (Correct)
A Method for Developing Parallel Vision Algorithms with .. - Scaife, Michaelson.. (1996) (Correct)
Writing an Edge Tracker in ML: A Case Study - Serot (1996) (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