Dylan McDermott

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The nerve theorem for relative monads Theory and Applications of Categories	2025-07-11	Paper
Relative monadicity Journal of Algebra	2025-01-29	Paper
Galois connecting call-by-value and call-by-name	2024-05-27	Paper
The formal theory of relative monads Journal of Pure and Applied Algebra	2024-05-03	Paper
Galois connecting call-by-value and call-by-name Logical Methods in Computer Science	2024-03-11	Paper
Canonical Gradings of Monads Electronic Proceedings in Theoretical Computer Science	2024-03-05	Paper
Sweedler theory of monads Lecture Notes in Computer Science	2024-01-23	Paper
scientific article; zbMATH DE number 7779295 (Why is no real title available?) (available as arXiv preprint)	2023-12-15	Paper
scientific article; zbMATH DE number 7779295 (Why is no real title available?)	2023-12-15	Paper
Extended call-by-push-value: reasoning about effectful programs and evaluation order Programming Languages and Systems	2023-11-24	Paper
A type system with subtyping for WebAssembly's stack polymorphism Lecture Notes in Computer Science	2023-07-28	Paper
Flexibly graded monads and graded algebras Lecture Notes in Computer Science	2023-06-30	Paper
Abstract clones for abstract syntax (available as arXiv preprint)	2023-06-23	Paper
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (available as arXiv preprint)	2022-05-03	Paper
Relative monadicity (available as arXiv preprint)	N/A	Paper
The pullback theorem for relative monads (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Dylan McDermott