Giovanni Lagorio Elena Zucca Introducing safe unknown types in Java-like languages. 1429-1434 2006 conf/sac/2006 SAC http://doi.acm.org/10.1145/1141277.1141609 db/conf/sac/sac2006.html#LagorioZ06