No value restriction is needed for algebraic effects and handlers

Ohad Kammar, Matija Pretnar. No value restriction is needed for algebraic effects and handlers. Journal of Functional Programming, 27, 2017. [doi]

Authors

Ohad Kammar

This author has not been identified. Look up 'Ohad Kammar' in Google

Matija Pretnar

This author has not been identified. Look up 'Matija Pretnar' in Google