Crary, Karl ; David Walker, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities (1999) |
[POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
Languages mentioned
- TAL {1997} Assembly language for TALC
|
|
|