2 results
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 […]
Published on January 24, 2017
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, […]
Published on December 17, 2013