Skip to content

Complete coinductive subtyping for abstract compilation of object-oriented languages.

Davide Ancona, Giovanni Lagorio

VenueAECOOP
Year2010
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.