Hi all,
I'm pleased to announce the release of our new parallel-programming library, LVish:
It provides a "Par" monad similar to the monad-par package, but generalizes the model to include data-structures other than single-assignment variables (IVars). For example, it has lock-free concurrent data structures for Sets and Maps, which are constrained to only grow monotonically during a given "runPar" (to retain determinism). This is based on work described in our upcoming POPL 2014 paper:
Cheers,
-Ryan