Typed memory management in a calculus of capabilities (1999)

by K Crary, D Walker, G Morrisett
Venue:In Principles of Programming Languages (POPL