"A Theory of Type Qualifiers."

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