Typed Memory Management in a Calculus of Capabilities.

Karl Crary David Walker J. Gregory Morrisett

Published in: POPL (1999)

Keyphrases

memory management
operating system
hardware implementation
garbage collection
lambda calculus
higher order
computing environments
parallel computation
database
databases
data structure
computer systems
flash memory