LVars: lattice-based data structures for deterministic parallelism.

Lindsey Kuper, Ryan R. Newton

Browse the full ICFP paper archive.