On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

Yannick Forster 0002, Ohad Kammar, Sam Lindley, Matija Pretnar. On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proceedings of the ACM on Programming Languages, 1(ICFP), 2017. [doi]

Authors

Yannick Forster 0002

This author has not been identified. Look up 'Yannick Forster 0002' in Google

Ohad Kammar

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

Sam Lindley

This author has not been identified. Look up 'Sam Lindley' in Google

Matija Pretnar

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