Typed Memory Management in a Calculus of Capabilities (2000)

by David Walker, Karl Crary, Greg Morrisett