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