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.

@inproceedings{AnconaLZ07,
  title = {Type inference for polymorphic methods in Java-like languages},
  author = {Davide Ancona and Giovanni Lagorio and Elena Zucca},
  year = {2007},
  tags = {type inference, Java},
  researchr = {https://researchr.org/publication/AnconaLZ07},
  cites = {0},
  citedby = {0},
  pages = {118-129},
  booktitle = {Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings},
  editor = {Giuseppe F. Italiano and Eugenio Moggi and Luigi Laura},
  publisher = {World Scientific},
  isbn = {981-277-098-4},
}