Equality proofs and deferred type errors: a compiler pearl
Dimitrios Vytiniotis, Simon Peyton Jones, and José Pedro Magalhães
2012
In Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Publisher ACM
Details
| Type | Inproceedings |
| URL | 10.1145/2364527.2364554 |
| Pages | 341–352 |
| Series | ICFP '12 |
| ISBN | 978-1-4503-1054-3 |
| Address | New York, NY, USA |