TalTech publikatsioonid
pealdis Katsumata, S., Rivas, E., Uustalu, T.
TTÜ struktuuriüksus tarkvarateaduse instituut
keel us
autor Katsumata, Shin-ya
Rivas, Exequiel
Uustalu, Tarmo
pealkiri Interaction laws of monads and comonads
vastutusandmed Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
allikas Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbr├╝cken, Germany
ilmumiskoht New York
ilmumisaasta 2020
leheküljed p. 604-618
konverentsi nimetus, aeg 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), July 8-11, 2020
konverentsi toimumispaik Saarbr├╝cken, Germany
märksõna funktorid
monaadid
võtmesõna effectful computation
monads
comonads
interaction laws
dual of a functor
Sweedler dual of a monad
Chu spaces
Hasegawa's glueing
ISBN 978-1-4503-7104-9
märkused Bibliogr.: 42 ref
Special Issue: Power System Dynamics and Renewable Energy Integration
url https://doi.org/10.1145/3373718.3394808
Open Access Open Access (roheline)