Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus.

Pedro B. Vasconcelos, Rodrigo Marques

Browse the full HASKELL paper archive.