Skip to main content

Delta Debugging Type Errors with a Blackbox Compiler

Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243) (KAR id:74037)

PDF Author's Accepted Manuscript
Language: English
Download (259kB) Preview
[thumbnail of IFL2018_paper_2.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


Debugging type errors is a necessary process that programmers, both novices and experts alike, face when using statically typed functional programming languages. All compilers often report the location of a type error inaccurately. This problem has been a subject of research for over thirty years. We present a new method for locating type errors: We apply the Isolating Delta Debugging algorithm coupled with a blackbox compiler. We evaluate our implementation for Haskell by comparing it with the output of the Glasgow Haskell Compiler; overall we obtain positive results in favour of our method of type error debugging.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1145/3310232.3310243
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 22 May 2019 08:46 UTC
Last Modified: 28 Jul 2022 22:10 UTC
Resource URI: (The current URI for this page, for reference purposes)
Chitil, Olaf:
  • Depositors only (login required):


Downloads per month over past year