Compiler pearl: Equality proofs and deferred type errors [pdf]http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf by thu • 14 years ago 5 0 14 years agoREresearch.microsoft.com