ML typing, explicit polymorphism and qualified types (1994)

by Mark P Jones
Venue:In TACS '94: Conference on theoretical aspects of computer software