print

Stateful runners of effectful computations

author
Uustalu, Tarmo
statement of authorship
Tarmo Uustalu
source
Electronic notes in theoretical computer science
journal volume number month
Vol. 319
year of publication
2015
pages
p. 403-421
url
http://dx.doi.org/10.1016/j.entcs.2015.12.024
subject term
semantika
arvuti arhitektuur
programmeerimine
arvutiteadus
keyword
effects
monads
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
TTÜ department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
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