Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics.

Davide Ancona

Browse the full ECOOP paper archive.