Typed Memory Management in a Calculus of Capabilities (2000)

by David Walker , Karl Crary , Greg Morrisett
Citations:194 - 23 self