"A Theory of Type Qualifiers."

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics