Catherine Dubois François Rouaix Pierre Weis Generic Polymorphism. 118-129 1995 POPL db/conf/popl/popl95.html#DuboisRW95