Stephen Dolan -

Registered user since Fri 5 Jun 2020

Name:Stephen Dolan

Contributions

TyDe 2022	Author of Computing with Generic Trees in Agda within the TyDe 2022-track
ML 2022	Committee Member in Program Committee within the ML-track
TyDe 2019	Author of Syntax with Shifted Names within the TyDe 2019-track