Andrew J. Bennett;Paul H. J. Kelly
-;-
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming
Efficient shared-memory support for parallel graph reduction
Future Generation Computer Systems