Equality proofs and deferred type errors: a compiler pearl

In  Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Publisher  ACM

Details

TypeInproceedings
URL10.1145/2364527.2364554
Pages341–352
SeriesICFP '12
ISBN978-1-4503-1054-3
AddressNew York, NY, USA
> Publications > Equality proofs and deferred type errors: a compiler pearl