täiskirje prindi

Stateful runners of effectful computations

autor
vastutusandmed
Tarmo Uustalu
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 319
ilmumisaasta
leheküljed
p. 403-421
leitav
ISSN
1571-0661
märkused
Allika pealkiri ka: The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Bibliogr.: 13 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
effects
monads
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. https://doi.org/10.1016/j.entcs.2015.12.024