Joanna Sharrad, Olaf Chitil, Meng Wang. Delta Debugging Type Errors with a Blackbox Compiler. In Matteo Cimini, Jay McCarthy, editors, Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. pages 13-24, ACM, 2018. [doi]
Abstract is missing.