Concurrent monads for shared state
author
Rivas, Exequiel
Uustalu, Tarmo
statement of authorship
Exequiel Rivas, Tarmo Uustalu
source
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
location of publication
New York
publisher
ACM
year of publication
2024
pages
art. 17
series
ACM International Conference Proceeding Series
conference name, date
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
conference location
Milano, Italy
url
https://doi.org/10.1145/3678232.3678249
subject term
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
keyword
concurrency
concurrent monads
concurrent monoids
duoidal categories
effectful computation
parallel composition
ISBN
979-840070969-2
notes
Bibliogr.: 36 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise