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: | , |
---|---|
Other Authors: | |
Format: | Journal article |
Published: |
Cambridge University Press
2017
|