Davide Ancona. Coinductive big-step operational semantics for type soundness of Java-like languages. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
Abstract is missing.