Dylan McDermott

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Memory Management

Formal Concepts

Logical Properties

Garbage Collection

Top Venues

Proc. ACM Program. Lang.

Publications

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