Search

• < Previous
• 1
• Next >

---

Mixed powerdomains for probability and nondeterminism

Klaus Keimel ; Gordon D. Plotkin.

We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show equivalencies between state transformers and appropriately&nbsp;[&hellip;]

---

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;]

---

A Model of Cooperative Threads

Martín Abadi ; Gordon D. Plotkin.

We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this&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;]

---

Smart Choices and the Selection Monad

Martin Abadi ; Gordon Plotkin.

Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimization techniques and, increasingly, by&nbsp;[&hellip;]

---

Sum and Tensor of Quantitative Effects

Giorgio Bacci ; Radu Mardare ; Prakash Panangaden ; Gordon Plotkin.

Inspired by the seminal work of Hyland, Plotkin, and Power on the combination of algebraic computational effects via sum and tensor, we develop an analogous theory for the combination of quantitative algebraic effects. Quantitative algebraic effects are monadic computational effects on categories of&nbsp;[&hellip;]

---