Equality proofs and deferred type errors: a compiler pearl
Dimitrios Vytiniotis‚ Simon Peyton Jones and José Pedro Magalhães
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming
ISBN
978−1−4503−1054−3
Location
Copenhagen‚ Denmark
Pages
341–352
Publisher
ACM
Series
ICFP '12
Year
2012