Effect handlers have recently gained popularity amongst programming language
researchers. Existing type-and effect systems for effect handlers are often complicated and …

Handlers of algebraic effects aspire to be a practical and robust programming construct that
allows one to define, use, and combine different computational effects. Interestingly, a critical …

Algebraic effect handlers offer a unified approach to expressing control-flow transfer idioms
such as exceptions, iteration, and async/await. Unfortunately, previous attempts to make …

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 …

Proposed originally by Plotkin and Pretnar, algebraic effects and their handlers are a
leading-edge approach to computational effects: exceptions, mutable state, nondeterminism …

Effect handlers are a promising way to structure effectful programs in a modular way. We
present the Scala library Effekt, which is centered around capability passing and …

Algebraic effects and handlers is an increasingly popular approach to programming with
effects. An attraction of the approach is its modularity: effectful programs are written against …

Algebraic effect handlers are a powerful way to incorporate effects in a programming
language. Sometimes perhaps even _too_ powerful. In this article we define a restriction of …

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 …

It is folklore that effect handlers and delimited control operators are closely related: recently,
this relationship has been proved in an untyped setting for deep handlers and the shift_0 …