Andrew J. Bennett;Paul H.J. Kelly
-;-
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming