A Mechanical Soundness Proof for Subtyping Over Recursive Types.

Timothy Jones, David J. Pearce

Browse the full ECOOP paper archive.