Type inference for polymorphic methods in Java-like languages.

Davide Ancona Giovanni Lagorio Elena Zucca Type inference for polymorphic methods in Java-like languages. 118-129 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#AnconaLZ07