A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.

Damien Doligez, Xavier Leroy

Browse the full POPL paper archive.