Futures and promises in Haskell and Scala. - Tamino Dauth; Martin Sulzmann (PEPM@POPL, 2019)