Yang Jun, Greg Michaelson, Phil Trinder  Home/Search
Context Related
| cee.hw.ac.uk/~trinder/pap...ymt.cj02.ps macs.hw.ac.uk/~trinder/pa...ymt.cj02.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: cee.hw.ac.uk/~trin...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Polymorphic types in programming languages facilitate code reuse, increase reliability and reduce semantic errors in programs. Hindley-Milner type inference forms a strong basis for checking polymorphic types but is less well suited to explaining them, as it introduces intermediate constructs that relate poorly to a programmer's understanding of the program. (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):
45.4%: Explaining Polymorphic Types - Jun, Michaelson, Trinder (2001) (Correct)
Active bibliography (related documents): More All
0.6: Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
0.4: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
0.3: Evaluating Environments for Functional Programming - Whittle, Cumming (Correct)
Similar documents based on text: More All
0.6: How Do People Check Polymorphic Types? - Jun, Michaelson, Trinder (2000) (Correct)
0.4: A Visualisation of Polymorphic Type Checking - Jun, Michaelson (1998) (Correct)
0.3: Comparing Parallel Functional Languages.. - Loidl, Rubio.. (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/jun02explaining.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/jun02explaining.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
809 A theory of type polymorphism in programming (context) - Milner - 1978
258 Miranda: a non-strict functional language with polymorphic t.. (context) - Turner - 1985
251 A Logic Programming Language with LambdaAbstraction - Miller - 1991
178 Making the future safe for the past: Adding Genericity to th.. - Bracha, Odersky et al. - 1998
95 HOPE: an experimental applicative language - Burstall, MacQueen et al. - 1980
86 Functional Programming (context) - Field, Harrison - 1988
80 Towards a theory of the comprehension of computer programs (context) - Brooks - 1983
59 Basic polymorphic type checking - Cardelli - 1984
51 Fundamental Concepts in Programming Languages (context) - Strachey - 2000
46 The Napier88 Reference Manual (context) - Morrison, Brown et al. - 1989
45 Finding the source of type errors (context) - Wand - 1986
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993
15 Debugging type errors - Bernstein, Stark - 1995
15 An explanation based polymorphic type checker for Standard M.. (context) - Soosaipillai - 2000
12 Interactive programming environment for ML - Rideau, Thery - 1997
10 Explaining type errors by finding the source of a type confl.. - Yang - 2000
9 Explaining type inference - Duggan, Bent - 1996
7 Finding the source of type errors interactively - Rittri - 1993
5 Elementary Standard ML - Michaelson - 1995
4 Typeview: a tool for understanding type errors - Huch, Chitil et al. - 2000
4 Haskell 98: a non-strict (context) - Hughes, Peyton - 1999
2 human-like (context) - Yang, Michaelson et al. - 2001
2 humanlike (context) - Yang, Michaelson et al. - 2001
2 Beacons: a knowledge structure in program comprehension (context) - Wiedenbeck, Scholz - 1989
1 Parameterized Types for Java Proc (context) - Myers, Bank et al. - 1997
1 Improving Polymorphic Type Explanations PhD Thesis (context) - Yang - 2001
1 Compatible Genericity with Run-time Types for the Java TM Pr.. (context) - Steele, Jr - 1998
1 Personal Communication (context) - Agat, Gustavsson - 1999
1 Smartest Recompilation Twentieth Annual ACM Symposium on Pri.. (context) - Shao, Appel - 1993
Documents on the same site (http://www.cee.hw.ac.uk/~trinder/publications.html): More
Comprehensions, a Query Notation for DBPLs - Trinder (1990) (Correct)
A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1991) (Correct)
Towards a Theory of Bulk Types - Watt, Trinder (1991) (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