We present a rational reconstruction of extensible effects, the recently proposed alternative
to monad transformers, as the confluence of efforts to make effectful computations compose …

Algebraic effects and effect handlers provide a modular abstraction for effectful
programming. They support user-defined effects, as in Haskell, in conjunction with direct …

Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming
with user-defined effects. Traditional deep handlers are defined by folds over computation …

We explore the design and implementation of Frank, a strict functional programming
language with a bidirectional effect type system designed from the ground up around a …

Algebraic effects and handlers have received a lot of attention recently, both from the
theoretical point of view and in practical language design. This stems from the fact that …

This paper studies compilation techniques for algebraic effect handlers. In particular, we
present a sequence of refinements of algebraic effects, going via multi-prompt delimited …

Motivated by the problem of separating syntax from semantics in programming with
algebraic effects and handlers, we propose a categorical model of abstract syntax with so …

Effect handlers encourage programmers to abstract over repeated patterns of complex
control flow. As of today, this abstraction comes at a significant price in performance. In this …

The development of programming languages can be quite complicated and costly. Hence,
much effort has been devoted to the modular definition of language features that can be …

Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming
with user-defined effects. This paper focuses on foundations for implementing effect …