Interactive type debugging in Haskell (2003)

by P J Stuckey, M Sulzmann, J Wazny
Venue:In Proc. of Haskell’03