Follow
Dylan McDermott
Title
Cited by
Cited by
Year
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
212017
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.
D McDermott, A Mycroft
European Symposium on Programming, 235-262, 2019
182019
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
O Kammar, D McDermott
Mathematical Foundations of Programming Semantics, 2018
182018
What Makes a Strong Monad?
D McDermott, T Uustalu
Ninth Workshop on Mathematically Structured Functional Programming 360, 113-133, 2022
132022
Flexibly graded monads and graded algebras
D McDermott, T Uustalu
International Conference on Mathematics of Program Construction, 2022
132022
The formal theory of relative monads
N Arkor, D McDermott
Journal of Pure and Applied Algebra, 107676, 2024
92024
Flexible presentations of graded monads
S Katsumata, D McDermott, T Uustalu, N Wu
Proceedings of the ACM on Programming Languages 6 (ICFP), 2022
62022
Galois connecting call-by-value and call-by-name
D McDermott, A Mycroft
Logical Methods in Computer Science 20, 2024
32024
Abstract clones for abstract syntax
N Arkor, D McDermott
Formal Structures for Computation and Deduction, 2021
32021
Call-by-need effects via coeffects
D McDermott, A Mycroft
Open Computer Science 8 (1), 93-108, 2018
32018
Relative monadicity
N Arkor, D McDermott
arXiv preprint arXiv:2305.10405, 2023
22023
Sweedler Theory of Monads
D McDermott, E Rivas, T Uustalu
FoSSaCS, 428-448, 2022
22022
Degrading Lists
D McDermott, M Piróg, T Uustalu
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
22020
Higher-order algebraic theories
N Arkor, D McDermott
Preprint, 2020
22020
Reasoning about effectful programs and evaluation order
D McDermott
University of Cambridge, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–20