142 citations · 367 across the 12 of their papers we have counts for
Showing 2013 · cs.PLShow all
2 papers · 2 filters
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…