Typed memory management in a calculus of capabilities (1999)

by Karl Crary, David Walker, Greg Morrisett
Venue:In POPL ’99: Proceedings of the 26th ACM SIGPLANSIGACT symposium on Principles of programming languages