• Bidirectional data-flow analyses compared to relational through Galois connectionsMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoNWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås2023 https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169447112&origin=inward&txGid=3ecb5e512777db888a98590256078a98 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000001
• Consequences of the modal unification of the functional calling paradigmsEspírito Santo, José; McDermott, Dylan; Pinto, Luís; Uustalu, Tarmo29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts2023 / p. 33-35 https://types2023.webs.upv.es/TYPES2023.pdf
• 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 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092799037&origin=inward&txGid=dc399bf77350db5a012d24ad62845349
• 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 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139198557&origin=inward&txGid=e75ae01255c4cd5b231f0881396286c0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000851562000034
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140428749&origin=inward&txGid=0712da53c080031f95e8629816495dd9 https://www.webofscience.com/wos/woscc/full-record/WOS:000866537100004 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
• 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 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 https://www.scopus.com/sourceid/23968 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189487441&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22The+formal+theory+of+relative+monads%22%29&sessionSearchId=b1f33d3b615491dc7c7d93f57393950c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PURE%20APPL%20ALGEBRA&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001223882300001
• A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140780525&origin=inward&txGid=eaace2b9291a459cc8c277324c839832
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134196437&origin=inward&txGid=7f5d550d2a9664418b53b538258ac2d5 https://www.webofscience.com/wos/woscc/summary/f18a13c9-f42f-4949-a527-952d9989e01f-b940241d/relevance/1