Compiler pearl: Equality proofs and deferred type errors [pdf](research.microsoft.com)
research.microsoft.com
Compiler pearl: Equality proofs and deferred type errors [pdf]
http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf
0 comments
—