prindi

Stateful runners of effectful computations

autor
Uustalu, Tarmo
vastutusandmed
Tarmo Uustalu
allikas
Electronic notes in theoretical computer science
ajakirja aastakäik number kuu
Vol. 319
ilmumisaasta
2015
leheküljed
p. 403-421
leitav
http://dx.doi.org/10.1016/j.entcs.2015.12.024
märksõna
semantika
arvuti arhitektuur
programmeerimine
arvutiteadus
võtmesõna
effects
monads
Lawvere theories
comodels
state monads
handlers
ISSN
1571-0661
märkused
Allika pealkiri ka: The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Bibliogr.: 13 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
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