Jacques Garrigue Didier Rémy Extending ML with Semi-Explicit Higher-Order Polymorphism. 20-46 1997 conf/tacs/1997 TACS db/conf/tacs/tacs97.html#GarrigueR97