See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/260402618 Type inference for Java-like programs by coinductive logic programming ARTICLE CITATION 1 READS 8 3 AUTHORS, INCLUDING: Davide Ancona Università degli Studi di Genova 120 PUBLICATIONS 1,188 CITATIONS SEE PROFILE Elena Zucca Università degli Studi di Genova 106 PUBLICATIONS 1,106 CITATIONS SEE PROFILE Available from: Davide Ancona Retrieved on: 15 January 2016