How to prove type soundness of Java-like languages without forgoing big-step semantics.

Davide Ancona

Browse the full ECOOP paper archive.