Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny. Improving type error diagnosis. In Henrik Nilsson, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004. pages 80-91, ACM, 2004. [doi]
Abstract is missing.