Type errors confuse the programmer (poster abstract)
Abstract
Index Terms
- Type errors confuse the programmer (poster abstract)
Recommendations
Revisiting novice programmer errors
Although programmer errors have been investigated, only a limited range of error types typically made by novices have been scrutinized. In this paper we present an expanded classification of the types of errors considered in previous research. In ...
Discriminative sum types locate the source of type errors
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types---known from work on soft typing---with annotation subtyping and recursive types. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
- Jan. 1999357 pagesISSN:0362-1340EISSN:1558-1160DOI:10.1145/291251Issue’s Table of Contents
- Chairmen:
- Matthias Felleisen,
- Paul Hudak,
- Editor:
- A. Michael Berman
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigplan
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 264Total Downloads
- Downloads (Last 12 months)46
- Downloads (Last 6 weeks)11
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in