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...
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | Journal article |
| منشور في: |
Association for Computing Machinery (ACM)
2017
|
| الموضوعات: |