Sat 22 Jun 2019 16:45 - 17:30 at 106B - Interaction Trees and Algebraic Effects I Chair(s): Andrew Appel

Algebraic Effect Handlers are a powerful abstraction mechanism that can express many complex control-flow mechanisms. But this power makes it also hard to reason about such effectful programs. In this talk I will use a novel way of explaining algebraic effects in terms of ambient values, functions, and control. Ambient values are a typed form of dynamic binding, while ambient functions are dynamically bound but statically scoped. Finally, ambient control gives the full power of algebraic effects. We argue that understanding algebraic effects in terms of ambients is easier, and enables better reasoning about effects since ambient values and functions do not modify control.

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.

Sat 22 Jun

deepspec-2019-papers
16:00 - 17:30: DeepSpec 2019 - Interaction Trees and Algebraic Effects I at 106B
Chair(s): Andrew AppelPrinceton
deepspec-2019-papers16:00 - 16:20
Talk
Steve ZdancewicUniversity of Pennsylvania
deepspec-2019-papers16:20 - 16:45
Talk
William ManskyUniversity of Illinois at Chicago, Wolf Honore
deepspec-2019-papers16:45 - 17:30
Talk
Daan LeijenMicrosoft Research, USA