Interactive type debugging in haskell (2003)

by Peter J Stuckey, Martin Sulzmann, Jeremy Wazny
Venue:In Haskell ’03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell