Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 15:30 - 16:00 at L3 - Effects

Algebraic effect handlers generalize many control-flow abstractions that are implemented specially in most languages, like exception handling, iterators, or backtracking. In this talk I show how one can implement full support for asynchronous programming (on top of Node.js) as a library using just algebraic effect handlers (in the Koka language). I will use a web server as an example application to show how algebraic effects and handlers can be used to implement useful abstractions like ambient state and block-scoped cancellation.

I am a member of the Research In Software Engineering (RISE) group and chair of the Programming Languages working group (PLX). Currently, I am interested in the design and application of strong type systems and declarative programming languages, like Haskell. In particular, I am interested in programming with Effect inference in the Koka project. Furthermore, I work on domain specific embedded languages, language design, and compiler technology.

Sun 3 Sep

Displayed time zone: Belfast change

15:30 - 16:30
EffectsHOPE at L3
Programming a Web Server with Algebraic Effects
Daan Leijen Microsoft Research
Logical Relations for Algebraic Effects
Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk , Filip Sieczkowski University of Wrocław