Dylan McDermott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2019–2026
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Denotational reasoning for asynchronous multiparty session types. | Dylan McDermott, Nobuko Yoshida |
| 2025 | FSCD | Grading Call-By-Push-Value, Explicitly and Implicitly. | Dylan McDermott |
| 2022 | FOSSACS | Sweedler Theory of Monads. | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
| 2022 | FSCD | Galois Connecting Call-by-Value and Call-by-Name. | Dylan McDermott, Alan Mycroft |
| 2022 | ICTAC | A Type System with Subtyping for WebAssembly's Stack Polymorphism. | Dylan McDermott, Yasuaki Morita, Tarmo Uustalu |
| 2022 | MPC | Flexibly Graded Monads and Graded Algebras. | Dylan McDermott, Tarmo Uustalu |
| 2021 | FSCD | Abstract Clones for Abstract Syntax. | Nathanael Arkor, Dylan McDermott |
| 2020 | PPDP | Degrading Lists. | Dylan McDermott, Maciej Pirg, Tarmo Uustalu |
| 2019 | ESOP | Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. | Dylan McDermott, Alan Mycroft |