"Semi-Explicit First-Class Polymorphism for ML."

Jacques Garrigue, Didier Rémy (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics