Qualified types: Theory and (1992)

by M P Jones