Coinductive big-step operational semantics for type soundness of Java-like languages.

Davide Ancona

Browse the full ECOOP paper archive.