Update monads: Cointerpreting directed containers
autor
Ahman, Danel
Uustalu, Tarmo
vastutusandmed
Danel Ahman, Tarmo Uustalu
allikas
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2014
leheküljed
p. 1-23 : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 26
konverentsi nimetus, aeg
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
konverentsi toimumispaik
Toulouse, France
leitav
https://doi.org/10.4230/LIPIcs.TYPES.2013.1
märksõna
monaadid
algebra
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-84907731424&origin=inward&txGid=17140a8449c63582385a4010066b6385
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
directed containers
monads and distributive laws
monoid actions
monoids
reader and writer and state monads
ISSN
1868-8969
ISBN
978-393989772-9
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise