Jun Yang  Home/Search
Context
Related
| macs.hw.ac.uk/pub/funcpro...yj.phd.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: The benefits of static parametric polymorphic typechecking based on the Hindley-Milner scheme are well known... (Update)
Similar documents (at the sentence level):
5.9%: Explaining Polymorphic Types - Jun, Michaelson, Trinder (2001) (Correct)
Active bibliography (related documents): More All
2.8: A Visualisation of Polymorphic Type Checking - Jun, Michaelson (1998) (Correct)
1.3: Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
1.3: Improved Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
Similar documents based on text: More All
0.2: Rigidity Theory for Circle Homeomorphisms with Singularities - Khmelev (2002) (Correct)
0.1: Improving Polymorphic Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
0.1: Syntactic Disambiguation by Using Categorial Parsing.. - Winiwarter, Kagawa.. (Correct)
BibTeX entry: (Update)
@phdthesis{ yang01improving,
author = "Jun Yang",
title = "Improving Polymorphic Type Explanations",
year = "2001",
url = "citeseer.ist.psu.edu/article/yang01improving.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965 ACM DBLP
251 A logic programming language with lambda-abstraction - Miller - 1991
185 De nition of Standard ML (context) - Milner, Tofte et al. - 1997
185 de nition of Standard ML (context) - Milner, Tofte et al. - 1997
160 The principal type scheme of an object in combinatory logic (context) - Hindley - 1969
95 Hope: an experimental applicative language - Burstall, MacQueen et al. - 1980 DBLP
80 Towards a theory of the comprehension of computer programs (context) - Brooks - 1983 DBLP
61 Department of Computer Science (context) - Turner, handling et al. - 1990
59 Smartest recompilation - Shao, Appel - 1993 ACM DBLP
51 Fundamental concepts in programming languages (context) - Strachey - 1967 ACM DBLP
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
35 Partial type inference for untyped functional programs (context) - Gomard - 1990 ACM DBLP
35 Fabrik: a visual programming environment (context) - Ingalls, Wallace et al. - 1988 ACM DBLP
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993 ACM
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
29 Usability analysis of visual programming environments - Green, Petre - 1996
27 Proofs about a folklore let-polymorphic type inference algor.. - Lee, Yi - 1998 ACM DBLP
15 Representation design benchmarks: a design-time aid for VPL .. - Yang, Burnett et al. - 1997 DBLP
15 Debugging type errors - Bernstein, Stark - 1995
15 Debugging type errors - Bernstein, Stark - 1995
14 Visual programming (context) - Shu - 1988 ACM
13 A slicing-based approach for locating type errors - Dinesh, Tip - 1997 ACM DBLP
12 When visual programs are harder to read than text - Green, Petre - 1992
12 Interactive programming environment for ML - Rideau, Thery - 1997
10 Enhancing Show-and-Tell with a polymorphic type system and h.. (context) - Najork, Golin - 1990 DBLP
10 Cover yourself with Skin - Hosking, Mugridge et al. - 1995
10 Object-Flow - Braine, Clack - 1997 ACM DBLP
9 Type and type inference in a visual programming language - Burnett - 1993
8 Generalising Techniques for Type Debugging - McAdam - 2000 ACM DBLP
8 Report on the programming language haskell98: A non-strict (context) - Jones, Wadler - 1999
7 Key Centre for Advanced Computing Sciences (context) - Reekie, attempt et al. - 1994
7 Finding the source of type errors interactively - Rittri - 1993
6 Improved type error reporting - Yang, Michaelson et al. - 2000
6 A visualisation of polymorphic type checking - Yang, Michaelson - 2000 ACM DBLP
6 Two-dimensional syntax for functional languages (context) - Cardelli - 1982
5 the Uni cation of Substitutions in Type Inference (context) - McAdam - 1998
5 How do people check polymorphic types - Yang, Michaelson et al. - 2000
5 VisaVis: a higher-order functional visual programming langua.. (context) - Poswig, Vrankar et al. - 1994 DBLP
5 Why looking isn't always seeing readership skills and graphi.. (context) - Petre - 1995
5 Elementary standard ML - Michaelson - 1995
5 Cognitive styles - an overview and integration (context) - Riding, Cheema - 1991
5 A maximum ow approach to anomaly isolation in uni cation-bas.. (context) - Johnson, Walz - 1986
4 Diagnosis of ill typed programs - Choppella - 1995
4 Najork and Simon M (context) - Marc - 1991
4 Typeview: a tool for understanding type errors - Huch, Chitil et al. - 2000
4 A visual representation for functional programs - Kelso - 1994
4 Explaining type errors by nding the source of a type con ict (context) - Yang - 2000
4 Explaining polymorphic types - Yang, Michaelson et al. - 2001 DBLP
3 Helping Students Understand Polymorphic Type Errors (context) - Yang, Michaelson et al. - 2000
3 Department of Computer Science (context) - Hughes, Jones et al. - 1998
3 Chalmers University of Technology (context) - Agat, orgen et al. - 1999
2 An explanantion based polymorphic type checker for Standard .. (context) - Soosaipillai - 1990
2 Datavis: A visual programming language for scienti c visuali.. (context) - Hils - 1991
2 Department of Information Science (context) - Addis, Addis et al. - 1996
2 A graphical FP language (context) - Pagan - 1987 ACM
2 An integrated prolog programming environment (context) - Schreiweis, Keune et al. - 1993
2 A prototype implementation of the CUBE language (context) - Najork, Kaplan - 1991 DBLP
2 Explaining polymorphic types through visualisation (context) - Yang, Michaelson et al. - 1999
1 Visual programming languages and the evidence for and agains.. (context) - Whitley - 1997
1 Human and human-like type explanations (context) - Yang, Michaelson et al. - 2001
1 Technical Report Persistent Programming Research Report (context) - Morrison, Brown et al. - 1989
1 Examples to Compare the error reportings from the W (context) - Yang, Trinder et al. - 2000
1 View binding and user enhanceable systems - Thimbleby - 1998 DBLP
1 A simple approach to nding the cause of non-uni ability (context) - Port - 1988
1 Beacons: a knowledge structure in progam comprehension (context) - Wiedenbeck, Scholz - 1989
1 A generalized let-polymorphic type inference algorithm - Lee, Yi - 2000
1 The tabletalk query language (context) - Epsteim - 1991
1 Visual language-oriented design environments (context) - Backlund, Hagsand et al. - 1990
1 Pc-lint/ exelint (context) - Software - 1998
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