Interactive type debugging in Haskell

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny. Interactive type debugging in Haskell. In Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003. pages 72-83, ACM, 2003. [doi]

Abstract

Abstract is missing.