Algebraic effect handlers, introduced by Plotkin and Power in 2002, are recently gaining in
popularity as a purely functional approach to modeling effects. In this article, we give a full …

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

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 …

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 …

Algebraic effects and their handlers have been steadily gaining attention as a programming
language feature for composably expressing user-defined computational effects. While …

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 …

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 …

We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar's effect
handlers with Hillerström and Lindley's row-typed fine-grain call-by-value calculus of effect …

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 …