2 results
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 […]
Published on October 20, 2010
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