Update monads: Cointerpreting directed containers
author
Ahman, Danel
Uustalu, Tarmo
statement of authorship
Danel Ahman, Tarmo Uustalu
source
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2014
pages
p. 1-23 : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 26
conference name, date
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
conference location
Toulouse, France
url
https://doi.org/10.4230/LIPIcs.TYPES.2013.1
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
directed containers
monads and distributive laws
monoid actions
monoids
reader and writer and state monads
ISSN
1868-8969
ISBN
978-393989772-9
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
TTÜ Küberneetika Instituut
language
inglise