Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen Dolan
conf.researchr.org general profile
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
x
Tue 3 Dec 17:59