"Combining Shared State with Speculative Parallelism in a Functional Language."

Matthew Le, Matthew Fluet (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics