View in EDS HTML Full Text PDF Full Text

On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.

Saved in:
Bibliographic Details
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: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796819000121