SEMINAL: Searching for ML type-error messages

Proceedings of the ACM SIGPLAN 2006 Workshop on ML

Volumn 2006, Issue , 2006, Pages 62-73

  Lerner, Benjamin ^a   Grossman, Dan ^a   Chambers, Craig ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Error messages; Objective Caml; Seminal; Type checking; Type inference

Indexed keywords

ERROR MESSAGES; OBJECTIVE CAML; TYPE-CHECKING; TYPE-INFERENCE;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; PROGRAM COMPILERS; SEARCH ENGINES;

ERROR ANALYSIS;

EID: 34247345371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159876.1159887     Document Type: Conference Paper

References (21)

1. David T. Barnard, Gwen Clarke, and Nicolas Duncan. Tree-to-tree correction for document trees. Technical Report 95-372, Department of Computing and Information Science, Queen's University, Kingston, January 1995.
2. Mike Heaven and Ryan Stansifer. Explaining type errors in polymorphic languages. ACM Letters on Programming Languages and Systems, 2(1-4):17-30, 1993.
3. Karen Bernstein and Eugene Stark. Debugging type errors (full version). Technical report, State University of New York at Stony Brook, 1995.
4. Philip Bille. Tree edit distance, alignment distance and inclusion. Technical report, IT University of Copenhagen, April 2003.
5. Olaf Chitil, Frank Huch, and Axel Simon. Typeview: a tool for understanding type errors. In M. Mohnen and P. Koopman, editors, 12th International Workshop on Implementation of Functional Languages, Aachner Informatik-Berichte, pages 63-69, 2000.
6. V. Choppella and C. T. Haynes. Diagnosis of ill-typed programs. Technical Report 426, Indiana University, December 1994.
7. Dominic Duggan. Correct type explanation. In ACM Workshop on ML, pages 49-58,1998.
8. Dominic Duggan and Frederick Bent. Explaining type inference. Science of Computer Programming, 27(1):37-83, July 1996.
9. Milind Gandhe, G. Venkatesh, and Amitabha Sanyal. Correcting errors in the Curry system. In 16th Conference on Foundations of Software Technology and Theoretical Computer Science, pages 347-358, London, UK, 1996. Springer-Verlag.
10. Christian Haack and J. B. Wells. Type error slicing in implicitly typed higher-order languages. Science of Computer Programming, 50(1-3):189-224, 2004.
11. Bastiaan J. Heeren. Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands, September 2005.
12. Gregory F. Johnson and Janet A. Walz. A maximum-flow approach to anomaly isolation in unification-based incremental type inference. In 13th ACM Symposium on Principles of Programming Languages, pages 44-57, St. Petersburg Beach, Florida, January 1986.
13. Yang Jun, Greg Michaelson, and Phil Trinder. Explaining polymorphic types. The Computer Journal, 45(4):436-452, 2002.
14. Oukseh Lee and Kwangkeun Yi. Proofs about a folklore letpolymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):707-723, 1998.
15. Bruce J. McAdam. On the unification of substitutions in type inference. In Kevin Hammond, Anthony J.T. Davie, and Chris Clack, editors, Implementation of Functional Languages (IFL '98), volume 1595 of LNCS, pages 139-154. Springer-Verlag, September 1998.
16. Bruce J. McAdam. Repairing Type Errors in Functional Programs. PhD thesis, Laboratory for Foundatations of Computer Science, The University of Edinburgh, 2001.
17. B. J. Oommen, K. Zhang, and W. Lee. Numerical similarity and dissimilarity measures between two trees. IEEE Transactions on Computers, 45(12):1426-1434, 1996.
18. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Interactive type debugging in Haskell. In ACM Workshop on Haskell, pages 72-83, Uppsala, Sweden, 2003.
19. F. Tip and T. B. Dinesh. A slicing-based approach for locating type errors. ACM Transactions on Software Engineering and Methodology, 10(1):5-55, 2001.
20. Robert A. Wagner and Michael J. Fischer. The string-to-string correction problem. Journal of the ACM, 21(1):168-173, 1974.
21. Mitchell Wand. Finding the source of type errors. In 13th ACM Symposium on Principles of Programming Languages, pages 38-43, St. Petersburg Beach, Florida, January 1986.