TY  - RPRT
TI  - No value restriction is needed for algebraic effects and handlers
AU  - Ohad Kammar
AU  - Matija Pretnar
PY  - 2016
DO  - 10.1017/s0956796816000320.
UR  - https://arxiv.org/abs/1605.06938
ID  - 1605.06938
ER  -