Alejandro Serrano, Jurriaan Hage. Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. In Nicolas Wu, editor, Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017. ACM, 2017. [doi]
Abstract is missing.