Davide Ancona Giovanni Lagorio Coinductive Type Systems for Object-Oriented Languages. 2-26 2009 ECOOP http://dx.doi.org/10.1007/978-3-642-03013-0_2 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#AnconaL09