Equality proofs and deferred type errors

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364554 ◽

2012 ◽

Cited By ~ 21

Author(s):

Dimitrios Vytiniotis ◽

Simon Peyton Jones ◽

José Pedro Magalhães

Download Full-text