Dylan McDermott

According to our database, Dylan McDermott authored at least 15 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Galois connecting call-by-value and call-by-name.

Dylan McDermott, Alan Mycroft

Log. Methods Comput. Sci., 2024

2022

Flexible presentations of graded monads.

Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu

Proc. ACM Program. Lang., 2022

Canonical Gradings of Monads.

Flavien Breuvart, Dylan McDermott, Tarmo Uustalu

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

What Makes a Strong Monad?

Dylan McDermott, Tarmo Uustalu

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Flexibly Graded Monads and Graded Algebras.

Dylan McDermott, Tarmo Uustalu

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

A Type System with Subtyping for WebAssembly's Stack Polymorphism.

Dylan McDermott, Yasuaki Morita, Tarmo Uustalu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Sweedler Theory of Monads.

Dylan McDermott, Exequiel Rivas, Tarmo Uustalu

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Abstract Clones for Abstract Syntax.

Nathanael Arkor, Dylan McDermott

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Degrading Lists.

Dylan McDermott, Maciej Piróg, Tarmo Uustalu

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Reasoning about effectful programs and evaluation order.

Dylan McDermott

PhD thesis, 2019

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.

Dylan McDermott, Alan Mycroft

Proceedings of the Programming Languages and Systems, 2019

2018

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.

Ohad Kammar, Dylan McDermott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Call-by-need effects via coeffects.

Dylan McDermott, Alan Mycroft

Open Comput. Sci., 2018

2017

Project snowflake: non-blocking safe manual memory management in .NET.

Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind

Proc. ACM Program. Lang., 2017

A monadic solution to the Cartwright-Felleisen-Wadler conjecture.

Ohad Kammar, Dylan McDermott

CoRR, 2017