TY  - RPRT
TI  - Nonuniform Coercions via Unification Hints
AU  - Claudio Sacerdoti Coen
AU  - Enrico Tassi
PY  - 2011
DO  - 10.4204/eptcs.53.2
UR  - https://arxiv.org/abs/1103.3320
ID  - 1103.3320
ER  -