Walker, David Karl Crary and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities. Technical Report TR2000-1780, Cornell University, February 2000.

Languages mentioned

• TAL {1997} Assembly language for TALC