Type inference for polymorphic methods in Java-like languages

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.

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Giovanni Lagorio

This author has not been identified. Look up 'Giovanni Lagorio' in Google

Elena Zucca

This author has not been identified. Look up 'Elena Zucca' in Google