G.: Typed memory management via static capabilities (2000)

by D Walker, K Crary, Morrisett
Venue:ACM Trans. Program. Lang. Syst