Tarmo Uustalu is a professor at the Dept. of Computer Science of Reykjavik University. He also has part-time post in the Dept. of Software Science of the Tallinn University of Technology (TUT) as a lead research scientist, taking care of the Lab for High-Assurance Software, in particular the Logic and Semantics Group.
On comonads in computer science:
On strong dinatural transformations:
Introducing relative monads in computer science:
On (co-)monads in computer science (such as the writer monad, reader monad, cowriter comonad, coreader comonad, state monad, …):
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu, Combining effects and coeffects via grading, ICFP 2016: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (2016) 476–489 [doi:10.1145/2951913.2951939, talk abstract, video rec]
(also on graded modalities)
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu, LICS (2020) 604-618 Interaction laws of monads and comonads [arXiv:1912.13477, doi:10.1145/3373718.3394808]
Danel Ahman, Tarmo Uustalu, Decomposing Comonad Morphisms, CALCO 2019, Leibniz International Proceedings in Informatics (LIPIcs) 139 (2019) [doi:10.4230/LIPIcs.CALCO.2019.14]
Tarmo Uustalu, lecture notes for MGS 2021 (2021):
Monads and Interaction Lecture 1 [pdf, pdf]
Monads and Interaction Lecture 2 [pdf, pdf]
On (delta-)lenses in computer science and (co)monadic effects:
On strong monads in computer science:
On graded monads in computer science as enriched relative monads (and on locally graded categories):
Last revised on July 25, 2024 at 17:02:09. See the history of this page for a list of all contributions to it.