conf.researchr.org / Dylan McDermott

Registered user since Thu 19 Aug 2021

Name:Dylan McDermott
Country:Iceland
Affiliation:Reykjavik University
Personal website:https://dylanm.org

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
HOPE 2022 Author of Flexibly graded monads and graded algebras within the HOPE 2022-track
ICFP 2022 Author of Flexible presentations of graded monads within the ICFP Papers and Events-track
PAW 2022 Author of A Type System with Subtyping for WebAssembly's Stack Polymorphism within the PAW 2022-track
ICFP 2021 Presenter of Interaction laws of monads and comonads within the Tutorials-track