nLab Dylan McDermott

Selected writings

personal page

Selected writings

On strong monads in computer science:

Dylan McDermott, Tarmo Uustalu, What Makes a Strong Monad?, EPTCS 360 (2022) 113-133 [arXiv:2207.00851, doi:10.4204/EPTCS.360.6]

On graded monads in computer science as enriched relative monads:

Dylan McDermott, Tarmo Uustalu. Flexibly graded monads and graded algebras, in: Mathematics of Program Construction MPC 2022, Lecture Notes in Computer Science 13544, Springer (2022) [doi:10.1007/978-3-031-16912-0_4]

category: people

Last revised on December 12, 2022 at 10:30:51. See the history of this page for a list of all contributions to it.