Update monads: Cointerpreting directed containers
autor
vastutusandmed
Danel Ahman, Tarmo Uustalu
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-23 : ill
konverentsi nimetus, aeg
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
konverentsi toimumispaik
Toulouse, France
ISSN
1868-8969
ISBN
978-393989772-9
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
monads and distributive laws
monoid actions
reader and writer and state monads
kategooria (üld)
kategooria (alam)
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).