Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 Journal metrics at Scopus Article at Scopus

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939

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 Article at Scopus Article at WOS

Container combinatorics : monads and lax monoidal functorsUustalu, TarmoTopics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings2017 / p. 91-105 : ill https://doi.org/10.1007/978-3-319-68953-1_8 Conference proceedings at Scopus Article at Scopus Article at WOS

Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus

The delay monad and restriction categoriesUustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings2017 / p. 32-50 https://doi.org/10.1007/978-3-319-67729-3_3 Conference proceedings at Scopus Article at Scopus Article at WOS

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

En garde! Unguarded iteration for reversible computation in the delay monadKaarsgaard, Robin; Veltri, NiccoloMathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings2019 / p. 366-384 https://doi.org/10.1007/978-3-030-33636-3_13

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477

Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany2020 / p. 604-618 https://doi.org/10.1145/3373718.3394808 Conference Proceedings at Scopus Article at Scopus Article at WOS

Machine assisted proofs in the theory of monadsAltenkirch, Thorsten; Chapman, James; Uustalu, Tarmo21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 83-85 https://jmchapman.io/papers/Assisted_Monads.pdf

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 Journal metrics at Scopus Article at Scopus

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

The formal theory of relative monadsArkor, Nathanael; McDermott, DylanJournal of pure and applied algebra2024 / art. 107676, 107 p. : ill https://doi.org/10.1016/j.jpaa.2024.107676 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 Conference proceeding at Scopus Article at Scopus

What makes a strong monad?McDermott, Dylan; Uustalu, TarmoProceedings of the Ninth Workshop on Mathematically Structured Functional Programming2022 / p. 113-133 https://doi.org/10.4204/EPTCS.360.6 Conference Proceedings at Scopus Article at Scopus Article at WOS