( en | de | ru )

 

Disambiguation of "McDermott, Dylan"

Author of the publication

copydeleteadd this publication to your clipboard
Project snowflake: non-blocking safe manual memory management in .NET.

, , , , , , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 95:1-95:25 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher McDermott

Sam Dylan Moré

John-Dylan Haynes

John - Dylan Haynes

Phillip Dylan Thomas Knobloch

 

Other publications of authors with the same name

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order., and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 235-262. Springer, (2019)Flexible presentations of graded monads., , , and . Proc. ACM Program. Lang., 6 (ICFP): 902-930 (2022)What Makes a Strong Monad?, and . MSFP@ETAPS, volume 360 of EPTCS, page 113-133. (2022)Degrading Lists., , and . PPDP, page 6:1-6:14. ACM, (2020)Reasoning about effectful programs and evaluation order.. University of Cambridge, UK, (2019)British Library, EThOS.Abstract Clones for Abstract Syntax., and . FSCD, volume 195 of LIPIcs, page 30:1-30:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Canonical Gradings of Monads., , and . ACT, volume 380 of EPTCS, page 1-21. (2022)Flexibly Graded Monads and Graded Algebras., and . MPC, volume 13544 of Lecture Notes in Computer Science, page 102-128. Springer, (2022)A Type System with Subtyping for WebAssembly's Stack Polymorphism., , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 305-323. Springer, (2022)Galois connecting call-by-value and call-by-name., and . Log. Methods Comput. Sci., (2024)