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...
| Príomhchruthaitheoirí: | , , , |
|---|---|
| Formáid: | Journal article |
| Foilsithe / Cruthaithe: |
Association for Computing Machinery (ACM)
2017
|
| Ábhair: |