Local reasoning about a copying garbage collector.

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

Browse the full POPL paper archive.