A concurrent constraint handling rules implementation in Haskell with software transactional memory.

Edmund S. L. Lam, Martin Sulzmann

Browse the full POPL paper archive.