Recent research on parallel functional programming has culminated in a provably efficient (in work and space) memory manager, which been incorporated into the MPL (MaPLe) compiler for Parallel ML shown to deliver practical efficiency scalability. The manager exploits property of programs called disentanglement, restricts computations from accessing concurrently allocated objects. Disentanglemen...