Davide Ancona, Giovanni Lagorio, Elena Zucca. Type inference for polymorphic methods in Java-like languages. In Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura, editors, Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings. pages 118-129, World Scientific, 2007.
Abstract is missing.