Qualified types : theory and practice - Jones, Mark P. (Distinguished dissertations in computer science, 1994)