Davide Ancona, Giovanni Lagorio, Elena Zucca. Type Inference by Coinductive Logic Programming. In Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, editors, Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Volume 5497 of Lecture Notes in Computer Science, pages 1-18, Springer, 2008. [doi]
Abstract is missing.