A Fully Concurrent Garbage Collector for Functional Programs on Multicore CPUs

Edited title to fit into character limit (Processors -> CPUs).

Implemented for SML# and the max pause times look great.