Extending ML with semiexplicit higher-order polymorphism (1999)

by Jacques Garrigue , Didier Remy
Venue:Information and Computation
Citations:21 - 8 self