Bruce J. McAdam Laboratory for Foundations of Computer Science Division of...  Home/Search
Context
Related
| lfcs.inf.ed.ac.uk/...LFCS99415.ps.gz 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: lfcs.inf.ed.ac.uk/reports...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report presents a way of recording information about the types of programs as a graph. The focus is on programs typed with Hindley-Milner type systems. The graphs can record information about untypeable programs (which are traditionally rejected with a type error message by type inference algorithms) and thus can be used to produce information to help programmers debug programs. 1 (Update)
Similar documents (at the sentence level):
16.0%: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Active bibliography (related documents): More All
0.7: Interactive Type Debugging - McAdam (1998) (Correct)
0.5: Improving Type-Error Messages in Functional Languages - Heeren, Jeuring.. (2002) (Correct)
0.4: How to Repair Type Errors Automatically - McAdam (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: On the Unification of Substitutions in Type-Inference - McAdam (1998) (Correct)
0.2: Using FIX to Handle Errors Without Exceptions, and Other.. - Bruce Mcadam (Correct)
0.2: Generalising Techniques for Type Debugging - McAdam (2000) (Correct)
BibTeX entry: (Update)
@misc{ laboratory-graphs,
author = "Bruce Mcadam Laboratory",
title = "Graphs for Recording Type Information",
url = "citeseer.ist.psu.edu/667004.html" }
Citations (may not include all citations):61 Department of Computer Science (context) - Turner, handling et al. - 1990
59 Smartest recompilation - Shao, Appel - 1993
45 Finding the source of type errors (context) - Wand - 1986
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993
27 Proofs about a folklore let-polymorphic type inference algor.. - Lee, Yi - 1998
22 A maximum-flow approach to anomaly isolation in unification-.. (context) - Johnson, Walz - 1986
17 the Unification of Substitutions in Type Inference - McAdam - 1998
15 An explanation based polymorphic type-checker for Standard M.. (context) - Soosaipillai - 1990
10 Computer Science Department (context) - Bernstein, Stark et al. - 1995
6 Correct type explanation (context) - Duggan - 1998
5 Generalising techniques for type explanation (context) - McAdam - 1999
3 That about wraps it up --- Using FIX to handle errors withou.. (context) - McAdam - 1997
2 Archived at ftp://pop (context) - Yi, Type et al. - 1999
2 Archived at ftp://pop (context) - Leroy, Type et al. - 1999
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