@Inproceedings{EPTCS53.2,
  author    = {Sacerdoti Coen, Claudio and Tassi, Enrico},
  year      = {2011},
  title     = {Nonuniform Coercions via Unification Hints},
  editor    = {Hirschowitz, Tom},
  booktitle = {{\rm Proceedings}
               Types for Proofs and Programs, Revised Selected Papers,
               {\rm Aussois, France, 12-15th May 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {53},
  publisher = {Open Publishing Association},
  pages     = {16-29},
  doi       = {10.4204/EPTCS.53.2},
}