Stateful runners of effectful computations
author
Uustalu, Tarmo
statement of authorship
Tarmo Uustalu
source
Electronic notes in theoretical computer science
publisher
Elsevier
journal volume number month
Vol. 319
year of publication
2015
pages
p. 403-421
url
https://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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/20569
https://www.scopus.com/record/display.uri?eid=2-s2.0-84951730054&origin=inward&txGid=f9778112c5d584f3a973699dac5c8f18
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise