"A Theory of Qualified Types."

Mark P. Jones (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics