Typed memory management in a calculus of capabilities (1999)

by Karl Crary, David Walker, Greg Morrisett
Venue:Proc. 26th Annual ACM Symposium on Principles of Programming Languages