142 citations · 367 across the 12 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013★ 142 cited
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…
cs.PL2013★ 23 cited
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…
cs.PL2013★ 55 cited
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 expre…