See this document in CiteSeerX!

Graphs for Recording Type Information  (Make Corrections)  
Bruce J. McAdam Laboratory for Foundations of Computer Science Division of...



  Home/Search   Context   Related

 
View or download:
lfcs.inf.ed.ac.uk/...LFCS99415.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  lfcs.inf.ed.ac.uk/reports...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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