Olaf Chitil, Frank Huch, Axel Simon  Home/Search
Context Related
| cs.york.ac.uk/~olaf/PU...typeview.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: In modern statically typed functional languages, type inference is used to determine the type of each function automatically. Whenever this fails, the compiler emits an error message that... (Update)
Context of citations to this paper: More
.... interactive type exploration environment based on a similar algorithm to UAE has also been developed independently by Huch, Chitil and Simon[8]. During the application of the UAE to an AST, an annotated type is generated for each abstract syntax construct. The annotation...
.... that from a type error message it is often hard to deduce the actual cause of the error and understand it [1, 2, 3, 4, 9, 10, 17, 19, 20, 21, 22, 23, 24, 25, 26]. Consider the following tiny Haskell program [16] f xs ys = map toUpper) xs ys Permission to make...
Cited by: More
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
Active bibliography (related documents): More All
0.8: Improved Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
0.7: Improving Type-Error Messages in Functional Languages - Heeren, Jeuring.. (2001) (Correct)
0.6: Explaining Type Errors by Finding the Sources of Type Conflicts - Yang (1999) (Correct)
Similar documents based on text: More All
0.2: Deforestation of Functional Programs through Type Inference - Chitil (2000) (Correct)
0.2: Distributed Programming in Haskell with Ports - Huch, Norbisrath (2000) (Correct)
0.2: ObjectCurry: An Object-Oriented Extension of the.. - Hanus, Huch, Niederau (2001) (Correct)
Related documents from co-citation: More All
4: Finding the source of type errors interactively - Rittri - 1993
4: Debugging type errors - Bernstein, Stark - 1995
4: A theory of type polymorphism in programming (context) - Milner - 1978
BibTeX entry: (Update)
Huch, F., Chitil, O. and Simon, A. Typeview: a tool for understanding type errors. In Proceedings of 12th International Workshop on Implementation of Functional Languages, M. Mohnen and P. Koopman (eds), Aachner Informatik-Berichte, 63--69, 2000. http://citeseer.ist.psu.edu/huch00typeview.html More
@inproceedings{ huch00typeview,
author = "F. Huch and O. Chitil and A. Simon",
title = "Typeview: a tool for understanding type errors",
booktitle = "12th International Workshop on Implementation of Functional Languages",
editor = "M. Mohnen and P. Koopman",
series = "Aachner Informatik-Berichte",
pages = "63--69",
year = "2000",
url = "citeseer.ist.psu.edu/huch00typeview.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
146 The glasgow haskell compiler: a technical overview - Jones, Hall et al.
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1994 ACM
28 Personal communication (context) - Nordin
27 Proofs about a folklore let-polymorphic type inference algor.. - Lee, Yi - 1998
15 Debugging type errors - Bernstein, Stark - 1995
15 An explanation based polymorphic type checker for standard m.. (context) - Soosaipillai - 1990
14 The Denition of Standard ML (context) - Milner, Tofte et al. - 1997
5 A maximum- ow approach to anomaly isolation in unication-bas.. (context) - Johnson, Walz - 1986
5 the unication of substitutions in type inference (context) - McAdam - 1998
4 Explaining type errors by nding the sources of type con icts (context) - Jun - 1999
1 Microsoft Research Cambridge (context) - Jones, Huges et al. - 1999
1 Department of Computer Science (context) - Duggan, Bent et al. - 1994
www.haskell.org/hugs
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