A Better Interface for Debugging Type Class Errors
Chapters
Introduction
My Thesis
Type Classes: a Primer
Failing with Class
Death by Diagnostic
Type Classes as Logic Programs
Debugging with Class
Interactive Debugging with Argus
Pulling a Rabbit Out of the Hat
System Design
Evaluation
Related Work
Diagnosing Type Errors
Logic Programming
Debugging Proof Assistants
Final Words
Bibliography