Abstract models of memory management (1995)

by G Morrisett, M Felleisen, R Harper
Venue:In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture