Dylan McDermott

From MaRDI portal
Person:2134831

Available identifiers

zbMath Open mcdermott.dylanMaRDI QIDQ2134831

List of research outcomes





PublicationDate of PublicationType
Galois connecting call-by-value and call-by-name2024-05-27Paper
The formal theory of relative monads2024-05-03Paper
Galois connecting call-by-value and call-by-name2024-03-11Paper
Canonical Gradings of Monads2024-03-05Paper
Sweedler theory of monads2024-01-23Paper
https://portal.mardi4nfdi.de/entity/Q60689352023-12-15Paper
Extended call-by-push-value: reasoning about effectful programs and evaluation order2023-11-24Paper
A type system with subtyping for WebAssembly's stack polymorphism2023-07-28Paper
Flexibly graded monads and graded algebras2023-06-30Paper
Abstract clones for abstract syntax2023-06-23Paper
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics2022-05-03Paper
Relative monadicityN/APaper
The pullback theorem for relative monadsN/APaper

Research outcomes over time

This page was built for person: Dylan McDermott

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2134831&oldid=6653942"
Powered by MediaWiki