Damien Doligez, Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML.
POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. pp.113-123, 1993,
〈10.1145/158511.158611〉.
〈hal-01499969〉