Formal Models of Distributed Memory Management.

Cristian Ungureanu, Benjamin Goldberg

Browse the full ICFP paper archive.