full record print

Update monads: Cointerpreting directed containers

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