Typed memory management via static capabilities (2000)

by David Walker, Karl Crary, Greg Morrisett
Venue:ACM Transactions on Programming Languages and Systems