Hierarchical memory management for mutable state.

Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet

Browse the full PPoPP paper archive.