Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.

Davide Ancona, Andrea Corradi

Browse the full ECOOP paper archive.