Type debugging with counter-factual type error messages using an existing type checker

Kanae Tsushima, Olaf Chitil, Joanna Sharrad. Type debugging with counter-factual type error messages using an existing type checker. In Jurriƫn Stutterheim, Wei-Ngan Chin, editors, IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM, 2019. [doi]

Abstract

Abstract is missing.