PDF-Alias Types Frederick Smith David Walker Greg Morrisett Cornell University Abstract
Linear type systems allow destructive operations such as ob ject deallocation and imperative updates of functional data structures These operations and others such
Download Presentation
"Alias Types Frederick Smith David Walker Greg Morrisett Corn…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.