[ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
(1999)
[SIGPLAN]
SIGPLAN Notices
Crary, Karl ; David Walker, and Greg Morrisett. (1999)
Crary, Karl ; David Walker, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities
Glew, Neal and Greg Morrisett. (1999)
Glew, Neal and Greg Morrisett. Type-Safe Linking and Modular Assembly Language.