Concurrent monads for shared state
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024
/
art. 17
https://doi.org/10.1145/3678232.3678249
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
https://www.webofscience.com/wos/woscc/full-record/WOS:001324686900017
Interaction laws of monads and comonads
Katsumata, Shin-ya
;
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
2020
/
p. 604-618
https://doi.org/10.1145/3373718.3394808
https://www.scopus.com/sourceid/11600154611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85085952830&origin=inward&txGid=f00bae0d51eabbd9b2e8867922f2cfed
https://www.webofscience.com/wos/woscc/full-record/WOS:000665014900047