Type-Safe Memory Management in Cyclone
			Greg Morrisett Cornell University