On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.
Saved in:
| Title: | On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. |
|---|---|
| Authors: | FORSTER, YANNICK1, forster@ps.uni-saarland.de, KAMMAR, OHAD2, ohad.kammar@ed.ac.uk, LINDLEY, SAM3, sam.lindley@ed.ac.uk, PRETNAR, MATIJA4, matija.pretnar@fmf.uni-lj.si |
| Source: | Journal of Functional Programming; 2019, Vol. 29, p1-43, 43p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796819000121 |
