Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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