Simplifying and improving qualified types (1992)

by Oxford University thesis