Qualified types: Theory and practice. D.Phil (1992)

by Mark P Jones