Results 1 -
0 of
0
No citations were found for this document.
Typed memory management in a calculus of capabilities. (1999)
by Karl Crary, David Walker, Greg Morrisett
| Venue: | In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), |
