Jacques Garrigue Didier Rémy Semi-Explicit First-Class Polymorphism for ML. 134-169 1999 155 Inf. Comput. 1-2 db/journals/iandc/iandc155.html#GarrigueR99