Search

• < Previous
• 1
• Next >

---

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

---

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

---