ML typing, explicit polymorphism, and qualified types (1994)

by Mark P Jones
Venue:In Proc. Conf. on Theoretical Aspects of Computer Science (TACS