@inproceedings{jpm:epdtecp:11,
  title = "Equality proofs and deferred type errors: a compiler pearl",
  author = "Vytiniotis, Dimitrios and Peyton Jones, Simon and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "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",
  doi = "10.1145/2364527.2364554",
}