7. Conclusion
This paper presents a memory management technique for parallel
functional programs that is based on the general strategy of closely
coupling the structure of the memory with that of the computation.
As we show, such close coupling enables using the invariants of the
semantics of the language, such as the disentanglement property, in
managing memory.