Gael A. Curry An Approach to Type Safety in a Traits System. 25-30 1986 conf/fjcc/1986 FJCC db/conf/fjcc/fjcc86.html#Curry86