| Project snowflake: Non-blocking safe manual memory management in .NET M Parkinson, D Vytiniotis, K Vaswani, M Costa, P Deligiannis, ... Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017 | 19 | 2017 |
| Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics O Kammar, D McDermott Mathematical Foundations of Programming Semantics, 2018 | 18 | 2018 |
| Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. D McDermott, A Mycroft European Symposium on Programming, 235-262, 2019 | 17 | 2019 |
| What Makes a Strong Monad? D McDermott, T Uustalu Ninth Workshop on Mathematically Structured Functional Programming 360, 113-133, 2022 | 12 | 2022 |
| Flexibly graded monads and graded algebras D McDermott, T Uustalu International Conference on Mathematics of Program Construction, 2022 | 10 | 2022 |
| The formal theory of relative monads N Arkor, D McDermott Journal of Pure and Applied Algebra, 107676, 2024 | 8 | 2024 |
| Flexible presentations of graded monads S Katsumata, D McDermott, T Uustalu, N Wu Proceedings of the ACM on Programming Languages 6 (ICFP), 2022 | 6 | 2022 |
| Galois connecting call-by-value and call-by-name D McDermott, A Mycroft Logical Methods in Computer Science 20, 2024 | 3 | 2024 |
| Call-by-need effects via coeffects D McDermott, A Mycroft Open Computer Science 8 (1), 93-108, 2018 | 3 | 2018 |
| Relative monadicity N Arkor, D McDermott arXiv preprint arXiv:2305.10405, 2023 | 2 | 2023 |
| Abstract clones for abstract syntax N Arkor, D McDermott Formal Structures for Computation and Deduction, 2021 | 2 | 2021 |
| Degrading Lists D McDermott, M Piróg, T Uustalu Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 2 | 2020 |
| Higher-order algebraic theories N Arkor, D McDermott Preprint, 2020 | 2 | 2020 |
| Sweedler Theory of Monads D McDermott, E Rivas, T Uustalu FoSSaCS, 428-448, 2022 | 1 | 2022 |
| Reasoning about effectful programs and evaluation order D McDermott University of Cambridge, 2020 | 1 | 2020 |
| Canonical Gradings of Monads F Breuvart, D McDermott, T Uustalu | 1* | |
| The pullback theorem for relative monads N Arkor, D McDermott arXiv preprint arXiv:2404.01281, 2024 | | 2024 |
| A type system with subtyping for WebAssembly’s stack polymorphism D McDermott, Y Morita, T Uustalu International Colloquium on Theoretical Aspects of Computing, 305-323, 2022 | | 2022 |
| A monadic solution to the Cartwright-Felleisen-Wadler conjecture O Kammar, D McDermott arXiv preprint arXiv:1707.06685, 2017 | | 2017 |
| Consequences of the modal unification of the functional calling paradigms JE Santo, D McDermott, L Pinto, T Uustalu 29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0 | | |
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
