PSM: Policy Synchronised Deterministic Memory

Michael Mendler, Marc Pouzet

Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…