Search

• < Previous
• 1
• Next >

---

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

---

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

---