Coinductive Type Systems for Object-Oriented Languages.

Davide Ancona, Giovanni Lagorio

Browse the full ECOOP paper archive.