Stateful runners of effectful computations
autor
Uustalu, Tarmo
vastutusandmed
Tarmo Uustalu
allikas
Electronic notes in theoretical computer science
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
Vol. 319
ilmumisaasta
2015
leheküljed
p. 403-421
leitav
https://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
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise