The following publications are possibly variants of this publication:
- Stronger Typings for Separate Compilation of Java-like Languages Davide Ancona, Giovanni Lagorio. jot, 3(6):5-25, 2004. [doi]
- Introducing safe unknown types in Java-like languagesGiovanni Lagorio, Elena Zucca. SAC 2006: 1429-1434 [doi]
- Just: Safe Unknown Types in Java-like LanguagesGiovanni Lagorio, Elena Zucca. jot, 6(2):69-98, 2007. [doi]
- Flexible Type-Safe Linking of Components for Java-Like LanguagesDavide Ancona, Giovanni Lagorio, Elena Zucca. jmlc 2006: 136-154 [doi]
- Type inference for polymorphic methods in Java-like languagesDavide Ancona, Giovanni Lagorio, Elena Zucca. ictcs 2007: 118-129