"A contextual semantics for concurrent Haskell with futures."

David Sabel, Manfred Schmidt-Schauß (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics