142 citations · 367 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley +1
We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and de…
cs.PL2016
No value restriction is needed for algebraic effects and handlers
Ohad Kammar, Matija Pretnar
We present a straightforward, sound Hindley-Milner polymorphic type system for algebraic effects and handlers in a call-by-value calculus, which allows type variable generalisation…