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 effects & handlers are a modular approach for modeling side-effects in functional
programming. Their syntax is defined in terms of a signature of effectful operations, encoded …

Notions of computation can be modelled by monads. Algebraic effects offer a
characterization of monads in terms of algebraic operations and equational axioms, where …

Inspired by algebraic effects and the principle of notions of computations as monoids, we
study a categorical framework for equational theories and models of monoids equipped with …

This paper presents a novel formalisation of algebraic effects with equations in Cubical
Agda. Unlike previous work in the literature that employed setoids to deal with equations, the …

Developing and maintaining software commonly requires (1) adding new data type
constructors to existing applications, but also (2) adding new functions that work on existing …

Despite the intended use for prototyping or as a first step towards giving semantics to a new
programming language, interpreters are often monolithic and difficult to extend. Higher-order …

Machine learning, artificial intelligence, and scientific modelling have driven the demand for
tools that enable derivative based optimization. Automatic differentiation (AD) is a family of …

Algebraic effects & handlers have become a standard approach for side-effects in functional
programming. Their modular composition between different effects and clean separation of …

Developing and maintaining software commonly requires (1) adding new data type
constructors to existing applications, but also (2) adding new functions that work on existing …