Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages Neel Krishnaswami and Jonathan Aldrich Carnegie Mellon University {neelk , aldrich - State ownership - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-02-16 10:22:08		Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages Neel Krishnaswami and Jonathan Aldrich Carnegie Mellon University {neelk+, aldrich+}@cs.cmu.edu Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 183,88 KB Share Document on Facebook