• Sign in
  • Sign up
conf.researchr.org / Stephen Dolan
  • ICFP 2019 profile
  • ICFP 2022 profile
  • POPL 2024 profile

Registered user since Fri 5 Jun 2020

Name:Stephen Dolan

Contributions

2022

TyDe

  • Author of Computing with Generic Trees in Agda within the TyDe 2022-track

ML

  • Committee Member in Program Committee within the ML-track

2019

TyDe

  • Author of Syntax with Shifted Names within the TyDe 2019-track
Share
xThu 7 Dec 14:58
using conf.researchr.org (v1.62.0)
Support page
Sign Up