Typed memory management via static capabilities

David Walker, Karl Crary, Greg Morrisett

Research output: Contribution to journalArticlepeer-review

79 Scopus citations

Fingerprint

Dive into the research topics of 'Typed memory management via static capabilities'. Together they form a unique fingerprint.

Engineering & Materials Science