Yang Jun, Greg Michaelson, Phil Trinder  Home/Search
Context Related
Links: DBLP | cee.hw.ac.uk/pub/funcpr...ymt.cj01.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: Hindley-Milner type inference forms a strong basis for polymorphic type checking but is less well suited to explaining polymorphic types, as it introduces intermediate constructs that relate poorly to a programmer's understanding of the program. We present a type explanation system motivated by explanations given by expert humans rather than by HindleyMilner inference algorithms. In particular, the system seeks to provide succinct explanations with minimal reference to artefacts of... (Update)
Context of citations to this paper: More
...system. The system uses human techniques to give type inference explanations which are very di erent to those from other systems [67, 68]. Chapter 7 draws conclusions from the research and considers future work. The following contributions are made in the elds of type...
Cited by: More
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Termination Checking with Types - Abel (1999) (Correct)
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Similar documents (at the sentence level):
61.0%: Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
5.1%: How Do People Check Polymorphic Types? - Jun, Michaelson, Trinder (2000) (Correct)
Active bibliography (related documents): More All
0.8: Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
0.8: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
0.4: Explaining Type Errors by Finding the Source of a Type Conflict - Yang (2000) (Correct)
Similar documents based on text: More All
0.3: Improving Polymorphic Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
0.3: A Declarative Parallel Bottom-Avoiding Choice - Bois, Pointon, Loidl, Trinder (2002) (Correct)
0.2: Functional vs Object-Oriented Distributed Languages - Pointon, Priebe, Loidl.. (2001) (Correct)
Related documents from co-citation: More All
4: Debugging type errors - Bernstein, Stark - 1995
3: A slicing-based approach for locating type errors - DINESH, TIP - 1997
3: Generalising Techniques for Type Debugging - McAdam - 2000
BibTeX entry: (Update)
Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types. Submission to Computer Journal, Feb 2001. http://citeseer.ist.psu.edu/article/jun01explaining.html More
@misc{ yang01explaining,
author = "J. Yang and G. Michaelson and P. Trinder",
title = "Explaining polymorphic types",
text = "Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types.
Submission to Computer Journal, Feb 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/article/jun01explaining.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
258 Miranda: a non-strict functional language with polymorphic t.. (context) - Turner - 1985 ACM DBLP
251 A Logic Programming Language with LambdaAbstraction - Miller - 1991
95 HOPE: an experimental applicative language - Burstall, MacQueen et al. - 1980 DBLP
86 Functional Programming (context) - Field, Harrison - 1988 ACM
80 Towards a theory of the comprehension of computer programs (context) - Brooks - 1983 DBLP
51 Fundamental Concepts in Programming Languages (context) - Strachey - 1967
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993 ACM
30 Science of Computer Programming (context) - Duggan, Bent - 1996
18 Technical Report YALEU/DCS/RR (context) - Hughes, Peyton et al. - 1999
15 An explanation based polymorphic type checker for Standard M.. (context) - Soosaipillai - 1990
12 Interactive programming environment for ML - Rideau, Thery - 1997
10 Explaining type errors by finding the source of a type confl.. - Yang - 2000 ACM DBLP
7 Finding the source of type errors interactively - Rittri - 1993
6 Improved type error reporting - Yang, Wells et al. - 2000
5 Elementary Standard ML - Michaelson - 1995
5 How do people check polymorphic types - Yang, Michaelson et al. - 2000
4 Typeview: a tool for understanding type errors - Huch, Chitil et al. - 2000
3 Helping Students Understand Polymorphic Type Errors (context) - Yang, Michaelson et al. - 2000
3 Chalmers University of Technology (context) - Agat, Gustavsson - 1999
2 Beacons: a knowledge structure in program comprehension (context) - Wiedenbeck, Scholz - 1989 ACM
1 Persistent Programming Research Report (context) - Morrison, Brown et al. - 1989
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