Skip to main content

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