A retrospective on region-based memory management (2004)

by M Tofte, L Birkedal, M Elsman, N Hallenberg
Venue:Higher-Order and Symbolic Computation