This paper explores the use monads to structure functional programs. No prior knowledge of
monads or category theory is required. Monads increase the ease with which programs may …

Software engineering demands generality and abstraction, performance demands
specialization and concretization. Generative programming can provide both, but the effort …

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 …

The rise of programmable open distributed consensus platforms based on the blockchain
technology has aroused a lot of interest in replicated stateful computations, aka smart …

Plotkin's λ v-calculus for call-by-value programs is weaker than the λβη-calculus for the
same programs in continuation-passing style (CPS). To identify the call-by-value axioms that …

We show that any monad whose unit and extension operations are expressible as purely
functional terms can be embedded in a call-by-value language with “composable …

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 …

This paper investigates the transformation of v-terms into continuation-passing style (CPS).
We show that by appropriate-expansion of Fischer and Plotkin's two-pass equational speci …

Plotkin and Pretnar's handlers for algebraic effects occupy a sweet spot in the design space
of abstractions for effectful computation. By separating effect signatures from their …

I motivate a new theory of exceptional scope phenomena in natural language—that is, the
ability of some expressions to affect the interpretation of others from inside scope islands. I …