Typed Memory Management in a Calculus of Capabilities (2000)

by David Walker , Karl Crary , Greg Morrisett
Citations:215 - 22 self