• Sign in
  • Sign up
conf.researchr.org / Dylan McDermott
  • 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
xSun 3 Dec 16:02
using conf.researchr.org (v1.62.0)
Support page
Sign Up