Concurrent monads for shared state
autor
Rivas, Exequiel
Uustalu, Tarmo
vastutusandmed
Exequiel Rivas, Tarmo Uustalu
allikas
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
2024
leheküljed
art. 17
seeria-sari
ACM International Conference Proceeding Series
konverentsi nimetus, aeg
26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 26th International Symposium on Formal Methods and held in conjunction with LOPSTR 2024, 10-11 September 2024
konverentsi toimumispaik
Milano, Italy
leitav
https://doi.org/10.1145/3678232.3678249
märksõna
monaadid
monoidid
kategooriad (matemaatika)
programmeerimine
Scopus
https://www.scopus.com/record/display.uri?eid=2-s2.0-85204905488&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F3678232.3678249%29&sessionSearchId=82ea1e262e947a553c0dfd040e2059dd&relpos=0
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001324686900017
võtmesõna
concurrency
concurrent monads
concurrent monoids
duoidal categories
effectful computation
parallel composition
ISBN
979-840070969-2
märkused
Bibliogr.: 36 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise