Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 11:30 - 12:00 at Haskell - Paper Session 4 - Effects Chair(s): Pierre-Evariste Dagand

We present a new type-oriented framework for writing shared memory multithreaded programs that the Haskell type system guarantees are deadlock-free. The implementation wraps all concurrent computation inside a graded monad and assumes a total order is defined between locks. The grades within the type of such a computation specify which locks it acquires and releases. This information is drawn from an algebra that ensures that types can, in principle, be inferred in polynomial time.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:30 - 13:00
Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste Dagand LIP6/CNRS
11:30
30m
Talk
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Haskell
Andrej Ivašković University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
DOI
12:00
30m
Talk
Composing Effects into Tasks and Workflows
Haskell
Yves Parès Tweag I/O, France, Jean-Philippe Bernardy University of Gothenburg, Sweden, Richard A. Eisenberg Tweag I/O
DOI
12:30
30m
Talk
Effect Handlers in Haskell, Evidently
Haskell
Ningning Xie Microsoft Research, USA, Daan Leijen Microsoft Research, USA
DOI