Typed memory management in a calculus of capabilities. (1999)

by Karl Crary, David Walker, Greg Morrisett
Venue:In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL),