Type inference for qualified types (1991)

by M P Jones
Venue:Oxford University Computing Laboratory