Abstract models of memory management. Conference on functional programming languages and computer architecture (1995)

by Greg Morrisett, Matthias Felleisen