Back to Results
First PageMeta Content



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

Document Date: 2016-06-28 21:00:30


Open Document

File Size: 196,25 KB

Share Result on Facebook