No value restriction is needed for algebraic effects and handlers
We present a straightforward, sound, Hindley-Milner polymorphic type system for algebraic effects and handlers in a call-by-value calculus, which, to our surprise, allows type variable generalisation of arbitrary computations, and not just values. We first recall that the soundness of unres...
Main Authors: | Kammar, O, Pretnar, M |
---|---|
Other Authors: | Felleisen, M |
Format: | Journal article |
Published: |
Cambridge University Press
2017
|
Similar Items
-
Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
by: Pretnar, M
Published: (2016) -
An Effect System for Algebraic Effects and Handlers
by: Andrej Bauer, et al.
Published: (2014-12-01) -
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
by: Forster, Y, et al.
Published: (2017) -
[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
by: Pretnar, M
Published: (2017) -
Inferring Algebraic Effects
by: Matija Pretnar
Published: (2014-09-01)