Semi-explicit first-class polymorphism for ML.
scientific article; zbMATH DE number 1853078