Interactive type debugging in Haskell
Abstract
Proceedings of the 2003 ACM SIGPLAN Haskell Workshop
Related papers
- Interactive debugging with GHCi Haskell 2006
- Attribute grammars fly first-class: how to do aspect oriented programming in Haskell ICFP 2009
- A lightweight interactive debugger for haskell Haskell 2007
- An Interactive Debugger for Rust Trait Errors PLDI 2025
- DI: an interactive debugging interpreter for applicative languages PLDI 1987
- Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack PLDI 2015
- Searching for deadlocks while debugging concurrent haskell programs ICFP 2004
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016