A Common Framework Using Expected Types for Several Type Debugging Approaches

Tsushima, Kanae and Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 10818. Springer pp. 230-246. ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:https://doi.org/10.1007/978-3-319-90686-7_15) (Full text available)

PDF - Author's Accepted Manuscript
Download (538kB) Preview
Official URL


Many different approaches to type error debugging were developed independently. In this paper, we describe a new common framework for several type error debugging approaches. For this purpose, we introduce expected types from the outer context and propose a method for obtaining them. Using expected types, we develop three type error debugging approaches: enumeration of type error messages, type error slicing and (improved) interactive type error debugging. Based on our idea we implemented prototypes and confirm that the framework works well for type debugging.

Item Type: Conference or workshop item (Proceeding)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 12 Mar 2018 14:20 UTC
Last Modified: 22 Oct 2018 13:01 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/66352 (The current URI for this page, for reference purposes)
Chitil, Olaf: https://orcid.org/0000-0001-7986-9929
  • Depositors only (login required):


Downloads per month over past year