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...
| Autori principali: | , , , |
|---|---|
| Natura: | Journal article |
| Pubblicazione: |
Association for Computing Machinery (ACM)
2017
|
| Soggetti: |