Stefan Monnier The swiss coercion. 33-40 2007 conf/plpv/2007 PLPV http://doi.acm.org/10.1145/1292597.1292604 db/conf/plpv/plpv2007.html#Monnier07