Registered user since Mon 12 Sep 2022
Name:Robert Wright
Affiliation:The University of Edinburgh, UK
Contributions
TyDe 2022 | Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile