@misc{SabelSchmidtSchauss2011, author = {David Sabel and Manfred Schmidt-Schauß}, title = {A contextual semantics for concurrent Haskell with futures}, booktitle = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik ; 44}, url = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-44.pdf}, institution = {Informatik}, series = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik}, number = {44}, type = {workingpaper}, pages = {1 -- 53}, year = {2011}, }