Semi-explicit first-class polymorphism for ML (1999)

by Jacques Garrigue, Didier Rémy
Venue:Journal of information and computation