Dylan McDermott

21 papers A 1B 6C 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Denotational reasoning for asynchronous multiparty session types.
ESOP (2)
Dylan McDermott, Nobuko Yoshida
2025 B conf
Grading Call-By-Push-Value, Explicitly and Implicitly.
FSCD
Dylan McDermott
2024 J jnl
Galois connecting call-by-value and call-by-name.
Log. Methods Comput. Sci.
Dylan McDermott, Alan Mycroft
2022 C conf
A Type System with Subtyping for WebAssembly's Stack Polymorphism.
ICTAC
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
2022 — conf
Canonical Gradings of Monads.
ACT
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
2022 J jnl
Flexible presentations of graded monads.
Proc. ACM Program. Lang.
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
2022 B conf
Flexibly Graded Monads and Graded Algebras.
MPC
Dylan McDermott, Tarmo Uustalu
2022 B conf
Galois Connecting Call-by-Value and Call-by-Name.
FSCD
Dylan McDermott, Alan Mycroft
2022 J jnl
Galois connecting call-by-value and call-by-name.
CoRR
Dylan McDermott, Alan Mycroft
2022 B conf
Sweedler Theory of Monads.
FoSSaCS
Dylan McDermott, Exequiel Rivas, Tarmo Uustalu
2022 — conf
What Makes a Strong Monad?
MSFP@ETAPS
Dylan McDermott, Tarmo Uustalu
2021 B conf
Abstract Clones for Abstract Syntax.
FSCD
Nathanael Arkor, Dylan McDermott
2021 J jnl
Abstract clones for abstract syntax.
CoRR
Nathanael Arkor, Dylan McDermott
2020 C conf
Degrading Lists.
PPDP
Dylan McDermott, Maciej Piróg, Tarmo Uustalu
2019 A conf
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.
ESOP
Dylan McDermott, Alan Mycroft
2019 — —
Reasoning about effectful programs and evaluation order.
Dylan McDermott
2018 J jnl
Call-by-need effects via coeffects.
Open Comput. Sci.
Dylan McDermott, Alan Mycroft
2018 B conf
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.
MFPS
Ohad Kammar, Dylan McDermott
2018 J jnl
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics.
CoRR
Ohad Kammar, Dylan McDermott
2017 J jnl
A monadic solution to the Cartwright-Felleisen-Wadler conjecture.
CoRR
Ohad Kammar, Dylan McDermott
2017 J jnl
Project snowflake: non-blocking safe manual memory management in .NET.
Proc. ACM Program. Lang.
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind