Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 14:20 - 14:45 at New York Central - Effect Handlers & Abstract Machine Chair(s): Niki Vazou

Algebraic effect handlers are a powerful abstraction mechanism that can express many complex control-flow mechanisms. This article extends basic algebraic effect handlers with first class dynamic effects. Dynamic effects add a lot more expressiveness but surprisingly only need minimal changes to the original semantics. As such, dynamic effects are a powerful abstraction but can still be understood and reasoned about as regular effect handlers. We illustrate the expressiveness of dynamic effects with first class event streams in CorrL and also model full polymorphic heap references without requiring any further primitives.

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.

Thu 27 Sep

tyde-2018
14:20 - 15:10: TyDe 2018 - Effect Handlers & Abstract Machine at New York Central
Chair(s): Niki VazouUniversity of Maryland, USA
tyde-201814:20 - 14:45
Research paper
Daan LeijenMicrosoft Research, USA
DOI
tyde-201814:45 - 15:10
Research paper
Carlos Tomé CortiñasUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands
DOI