Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dylan McDermott
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
Registered user since Thu 19 Aug 2021
Name:
Dylan McDermott
Country:
Iceland
Affiliation:
Reykjavik University
Personal website:
https://dylanm.org
Contributions
2023
NWPT
Committee Member in Program Committee within the NWPT 2023-track
Author of Bidirectional data-flow analyses compared to relational through Galois connections within the NWPT 2023-track
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
2022
HOPE
Author of Flexibly graded monads and graded algebras within the HOPE 2022-track
ICFP
Author of Flexible presentations of graded monads within the ICFP Papers and Events-track
PAW
Author of A Type System with Subtyping for WebAssembly's Stack Polymorphism within the PAW 2022-track
2021
ICFP
Presenter of Interaction laws of monads and comonads within the Tutorials-track
Share
x
Sun 13 Oct 15:20