On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
<p>We compare the expressive power of three programming abstractions for user-defined computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control without answer-type-modification. This comparison allows a precise discussion abou...
| Main Authors: | , , , |
|---|---|
| 格式: | Journal article |
| 出版: |
Association for Computing Machinery (ACM)
2017
|
| 主題: |