LVars: Lattice-based data structures for deterministic parallelism (2013)

by L Kuper, R R Newton
Venue:In Proc. Workshop Functional HPC: FHPC ’13