Dylan McDermott

An (incomplete) list of talks

  1. The formal theories of presheaves and cocompletions.
    Nathanael Arkor and Dylan McDermott.
    Second Virtual Workshop on Double Categories, 2024.
    slides, video (YouTube)
  2. How to construct graded monads.
    Dylan McDermott.
    MycroftFest, Cambridge, UK.
    slides
  3. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    Algebra, Logic, and Computation seminar, University of Minho, Portugal, October 2023.
    slides
  4. Flexibly graded monads and graded algebras.
    Dylan McDermott, Tarmo Uustalu.
    MPC 2022, Tbilisi, Georgia.
    slides
  5. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    ICFP 2022, Ljubljana, Slovenia.
    slides
  6. Flexibly graded monads and graded algebras.
    Dylan McDermott and Tarmo Uustalu.
    HOPE 2022, Ljubljana, Slovenia.
    abstract, slides
  7. Galois connecting call-by-value and call-by-name.
    Dylan McDermott and Alan Mycroft.
    FSCD 2022, Haifa, Israel.
    slides
  8. Canonical gradings of monads.
    Flavien Breuvart, Dylan McDermott, and Tarmo Uustalu.
    ACT 2022, Glasgow, UK.
    slides
  9. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    TYPES 2022, Nantes, France.
    abstract, slides
  10. Canonical gradings of monads.
    Flavien Breuvart, Dylan McDermott, and Tarmo Uustalu.
    Meeting on graded types, June 2022, Canterbury, UK.
    slides
  11. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    PSSL 106, Brno, Czech Republic.
    slides
  12. Higher-order algebraic theories.
    Nathanael Arkor and Dylan McDermott.
    Partout seminar, LIX, Paris (online), May 2022.
    slides
  13. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    MSP101 seminar, University of Strathclyde (online), April 2022.
    slides
  14. Sweedler theory of monads.
    Dylan McDermott, Exequiel Rivas, and Tarmo Uustalu.
    FoSSaCS 2022, Munich, Germany.
    slides
  15. What makes a strong monad?
    Dylan McDermott and Tarmo Uustalu.
    MSFP 2022, Munich, Germany.
    slides
  16. Flexible presentations of graded monads.
    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu.
    Theory Seminar, Tallinn University of Technology, December 2021.
    slides
  17. On the relation between call-by-value and call-by-name.
    Dylan McDermott and Alan Mycroft.
    SYCO 8, Tallinn, Estonia.
    abstract, slides
  18. List monads.
    Dylan McDermott, Maciej Piróg, and Tarmo Uustalu.
    Theory Seminar, Tallinn University of Technology, September 2021.
    slides
  19. Interaction laws of monads and comonads.
    Dylan McDermott, Exequiel Rivas, and Tarmo Uustalu.
    Tutorial at ICFP 2021, online (joint with Exequiel Rivas and Tarmo Uustalu).
    material
  20. Degrading lists.
    Dylan McDermott, Maciej Piróg, and Tarmo Uustalu.
    PPDP 2020, online.
    slides
  21. Higher-order algebraic theories.
    Nathanael Arkor and Dylan McDermott.
    Theory Seminar, Tallinn University of Technology (online), June 2020.
    slides
  22. On the relation between call-by-value and call-by-name.
    Dylan McDermott and Alan Mycroft.
    ICE-TCS Seminar, Reykjavik University, November 2019.
    slides
  23. Reasoning about effectful programs and evaluation order.
    Dylan McDermott and Alan Mycroft.
    Programming Languages Seminar, University of Oxford, June 2019.
    slides
  24. Reasoning about effectful programs and evaluation order.
    Dylan McDermott and Alan Mycroft.
    Theoretical Computer Science Seminar, University of Birmingham, May 2019.
    slides
  25. Extended call-by-push-value: reasoning about effectful programs and evaluation order.
    Dylan McDermott and Alan Mycroft.
    ESOP 2019, Prague, Czech Republic.
    slides
  26. Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics.
    Ohad Kammar and Dylan McDermott.
    MFPS 2018, Halifax, Canada.
    slides
  27. A monadic solution to the Cartwright-Felleisen-Wadler conjecture.
    Ohad Kammar and Dylan McDermott.
    HOPE 2017, Oxford, UK.
    abstract, slides
  28. Effects for lazy languages.
    Dylan McDermott and Alan Mycroft.
    BCTCS 2017, St Andrews, UK.
    slides