@inproceedings{jpm:epdtecp:11,
  author = {Vytiniotis, Dimitrios and Peyton Jones, Simon and Magalh\~{a}es, Jos{\'e} Pedro},
  title = {Equality proofs and deferred type errors: a compiler pearl},
  booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
  series = {ICFP '12},
  year = {2012},
  isbn = {978-1-4503-1054-3},
  location = {Copenhagen, Denmark},
  pages = {341--352},
  numpages = {12},
  doi = {10.1145/2364527.2364554},
  publisher = {ACM},
  address = {New York, NY, USA},
}