Gilles Barthe Implicit Coercions in Type Systems. 1-15 1995 conf/types/1995 TYPES db/conf/types/types95.html#Barthe95 http://dx.doi.org/10.1007/3-540-61780-9_58