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
|