Search

• < Previous
• 1
• Next >

---

Handling Algebraic Effects

Gordon D Plotkin ; Matija Pretnar.

Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism,&nbsp;[&hellip;]

---

Free complete Wasserstein algebras

Radu Mardare ; Prakash Panangaden ; Gordon D. Plotkin.

We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages. In particular, we give axioms, parametric in $p$, for algebras over metric spaces equipped&nbsp;[&hellip;]

---