Typed Memory Management in a Calculus of Capabilities.

Karl Crary, David Walker, J. Gregory Morrisett

Browse the full POPL paper archive.