A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp - Subtyping - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-06-28 21:00:30		A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Download Document from Source Website File Size: 196,25 KB Share Document on Facebook