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

---

Inferring Algebraic Effects

Matija Pretnar.

We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others. Our main aim is to offer the programmer a useful insight into the effectful&nbsp;[&hellip;]

---

An Effect System for Algebraic Effects and Handlers

Andrej Bauer ; Matija Pretnar.

We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect to it. Then we give a domain-theoretic&nbsp;[&hellip;]

---

Higher-Order Asynchronous Effects

Danel Ahman ; Matija Pretnar.

We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signalling that an operation's implementation needs to&nbsp;[&hellip;]

---