Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Equality proofs and deferred type errors: a compiler pearl

Dimitrios Vytiniotis, Simon Peyton Jones, and José Pedro Magalhães

Details

Publication typeInproceedings
Published inProceedings of the 17th ACM SIGPLAN international conference on Functional programming
URL10.1145/2364527.2364554
Pages341–352
SeriesICFP '12
ISBN978-1-4503-1054-3
AddressNew York, NY, USA
PublisherACM
> Publications > Equality proofs and deferred type errors: a compiler pearl