Equality proofs and deferred type errors: a compiler pearl.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Jos Pedro Magalhes

Browse the full ICFP paper archive.