Software transactional memory vs. locking in a functional language: a controlled experiment

A controlled experiment comparing the use of STM and Haskell's lock-based concurrency control mechanism to develop a program with (coarse-grained) mutual exclusion and synchronization requirements found out that the two techniques did not differ significantly in terms of concurrency errors, number of LoC and time to develop the resulting programs.