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