Interactive type debugging in Haskell (2003)

by Peter J Stuckey, Martin Sulzmann, Jeremy Wazny
Venue:In ACM Workshop on Haskell