Dylan McDermott

An (incomplete) list of talks

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