Stateful runners of effectful computations

vastutusandmed
Tarmo Uustalu
ajakirja aastakäik number kuu
Vol. 319
ilmumisaasta
leheküljed
p. 403-421
ISSN
1571-0661
märkused
Allika pealkiri ka: The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Bibliogr.: 13 ref
keel
inglise
võtmesõna
Lawvere theories
comodels
state monads
handlers
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