Jun Furuse Generic Polymorphism in ML. 75-96 2001 conf/jfla/2001 JFLA db/conf/jfla/jfla2001.html#Furuse01