Olaf Chitil  Home/Search
Context Related
Links: ACM DBLP | cs.york.ac.uk/~ola...explainTypes.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: cs.york.ac.uk/~olaf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the... (Update)
Cited by: More
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (Correct)
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Dependency-style Generic Haskell - Löh, Clarke, Jeuring (2003) (Correct)
Active bibliography (related documents): More All
1.3: Improving Polymorphic Type Explanations - Yang (2001) (Correct)
0.8: Explaining Polymorphic Types - Jun, Michaelson, Trinder (2001) (Correct)
0.7: Improving Polymorphic Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
Similar documents based on text: More All
0.3: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
0.3: What Are Principal Typings and What Are They Good for? - Jim (1995) (Correct)
0.3: Multiple-View Tracing for Haskell: a New Hat - Wallace, Chitil, Brehm, Runciman (2001) (Correct)
Related documents from co-citation: More All
7: Finding the source of type errors (context) - Wand - 1986
7: Explaining type errors in polymorphic languages - Beaven, Stansifer - 1994
5: A maximum-flow approach to anomaly isolation in unification-based incremental ty.. (context) - Johnson, Walz - 1986
BibTeX entry: (Update)
Olaf Chitil. Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In International Conference on Functional Programming (ICFP), Firenze, Italy, pages 193--204. Association of Computing Machinery SIGPLAN, ACM Press, September 2001. http://citeseer.ist.psu.edu/chitil01compositional.html More
@inproceedings{ chitil01compositional,
author = "Olaf Chitil",
title = "Compositional Explanation of Types and Algorithmic Debugging of Type Errors",
booktitle = "International Conference on Functional Programming",
pages = "193--204",
year = "2001",
url = "citeseer.ist.psu.edu/chitil01compositional.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
328 Algorithmic Program Debugging (context) - Shapiro - 1983 ACM
229 Foundations for Programming Languages (context) - Mitchell - 1996
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999 ACM
118 What are principal typings and what are they good - Jim - 1996
92 purely functional language (context) - Jones, Hughes et al. - 1999
45 Finding the source of type errors (context) - Wand - 1986
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
27 Proofs about a folklore let-polymorphic type inference algor.. - Lee, Yi - 1998 ACM DBLP
22 A maximum flow approach to anomaly isolation in unification-.. (context) - Walz, Johnson - 1986
21 A declarative debugging scheme - Naish DBLP
19 Generalized algorithmic debugging and testing (context) - Fritzson, Shahmehri et al. - 1992
17 Typing Haskell in Haskell - Jones
17 the unification of substitutions in type inference - McAdam - 1999
15 Debugging type errors - Bernstein, Stark - 1995
15 An explanation based polymorphic type checker for Standard M.. (context) - Soosaipillai - 1990
10 Explaining type errors by finding the source of a type confl.. - Yang - 2000 ACM DBLP
10 Declarative Debugging for Lazy Functional Languages - Nilsson - 1998
8 Generalising techniques for type debugging - McAdam - 2000 ACM DBLP
7 Finding the source of type errors interactively - Rittri - 1993
6 A visualisation of polymorphic type checking - Yang, Michaelson - 2000 ACM DBLP
5 How do people check polymorphic types - Yang, Michaelson et al. - 2000
4 Diagnosis of ill-typed programs - Choppella, Haynes - 1995
4 Typeview: A tool for understanding type errors - Simon, Chitil et al.
1 Improved type error reporting (context) - Yan, Michaelson et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.york.ac.uk/~olaf/): More
Adding an Optimisation Pass to the Glasgow Haskell Compiler - Chitil (1997) (Correct)
Multiple-View Tracing for Haskell: a New Hat - Wallace, Chitil, Brehm, Runciman (2001) (Correct)
The sigma-Semantics: A Comprehensive Semantics for Functional.. - Chitil (1997) (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