Eicken. Type system support for dynamic revocation (1999)

by C Hawblitzel, T Von
Venue:In ACM SIGPLAN Workshop on Compiler Support for System Software