Type error slicing in implicitly typed higher-order languages

Christian Haack, J. B. Wells

Research output: Contribution to journalArticle

47 Citations (Scopus)

Abstract

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We identify the criteria of completeness and minimality for type error slices. We discuss the advantages of complete and minimal type error slices over previous methods of presenting type errors. We present and prove the correctness of algorithms for finding complete and minimal type error slices for implicitly typed higher-order languages like Standard ML. © 2004 Published by Elsevier B.V.

Original languageEnglish
Pages (from-to)189-224
Number of pages36
JournalScience of Computer Programming
Volume50
Issue number1-3
DOIs
Publication statusPublished - Mar 2004

Keywords

  • Intersection types
  • Type error location
  • Type inference

Cite this