Jacques Garrigue Simple Type Inference for Structural Polymorphism. 329-343 2001 conf/aplas/2001 APLAS db/conf/aplas/aplas2001.html#Garrigue01