ML Typing, Explicit Polymorphism, and Qualified Types (1994)

by M P Jones
Venue:In Proceedings TACS ’94, LNCS 789