"Introducing safe unknown types in Java-like languages."

Giovanni Lagorio, Elena Zucca (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics