Stateful runners of effectful computations

statement of authorship
Tarmo Uustalu
journal volume number month
Vol. 319
year of publication
pages
p. 403-421
keyword
Lawvere theories
comodels
state monads
handlers
ISSN
1571-0661
notes
Allika pealkiri ka: The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Bibliogr.: 13 ref
language
inglise
Uustalu, T. Stateful runners of effectful computations // Electronic notes in theoretical computer science (2015) Vol. 319, p. 403-421. http://dx.doi.org/10.1016/j.entcs.2015.12.024