Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.

Damien Doligez, Georges Gonthier

Browse the full POPL paper archive.