Joanna Sharrad, Olaf Chitil. Refining the Delta Debugging of Type Errors. In 33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021. pages 10-19, ACM, 2021. [doi]
Abstract is missing.