Q. Wu;A. J. Field;Paul H. J. Kelly
-;-;-
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming
Functorial ML