Edmund S. L. Lam Martin Sulzmann A concurrent constraint handling rules implementation in Haskell with software transactional memory. 19-24 2007 DAMP http://doi.acm.org/10.1145/1248648.1248653 conf/popl/2007damp db/conf/popl/damp2007.html#LamS07