• Concurrent monads for shared stateRivas, Exequiel; Uustalu, TarmoProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming2024 / 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
• Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85128459922&origin=inward&txGid=5beddb3e65b3a51cebb1964c6a06534c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000782446800022
• The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185217929&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22The+produoidal+algebra+of+process+decomposition%22%29&sessionSearchId=d07c77c718047b6144759fe6ff06e437&relpos=2 https://www.webofscience.com/wos/woscc/full-record/WOS:001300390800025