Cyclone user's manual, 2003. http://www.cs.cornell.edu/projects/cyclone/ online-manual/. [11] Martin Hofmann. A type system for bounded space and functional in-place update{extended abstract (0)

by Dan Grossman, Michael Hicks, Trevor Jim, Greg Morrisett
Venue:In Proc