@inproceedings{jpm:ghp:12,
  author = {Yorgey, Brent A. and Weirich, Stephanie and Cretin, Julien and 
           Peyton Jones, Simon and Vytiniotis, Dimitrios and
           Magalh\~aes, Jos\'e Pedro},
  title = {Giving {H}askell a Promotion},
  booktitle = {Proceedings of the 8th ACM SIGPLAN Workshop on Types in
              Language Design and Implementation},
  series = {TLDI '12},
  year = {2012},
  location = {Philadelphia, PA, USA},
  pages = {53--66},
  doi = {10.1145/2103786.2103795},
  publisher = {ACM},
  address = {New York, NY, USA},
}