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

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