Extending ML with semi-explicit higher order polymorphism (1999)

by J Garrigue, D Rémy
Venue:Information and Computation