Delta Debugging Type Errors with a Blackbox Compiler. - Joanna Sharrad; Olaf Chitil; Meng Wang 002 (IFL, 2018)

Type debugging with counter-factual type error messages using an existing type checker. - Kanae Tsushima; Olaf Chitil; Joanna Sharrad (IFL, 2019)

Scaling Up Delta Debugging of Type Errors - Category: Research. - Joanna Sharrad; Olaf Chitil (TFP, 2020)

Refining the Delta Debugging of Type Errors. - Joanna Sharrad; Olaf Chitil (IFL, 2021)

Debugging type errors with a blackbox compiler. - Joanna Sharrad (2022)