Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert Wright
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
POPL 2023 profile
Registered user since Mon 12 Sep 2022
Name:
Robert Wright
Affiliation:
The University of Edinburgh, UK
Contributions
2024
TyDe
Author of First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) within the TyDe 2024-track
2023
LAFI
Author of Towards type-driven data-science in Idris within the LAFI 2023-track
2022
TyDe
Author of Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) within the TyDe 2022-track
Share
x
Thu 21 Nov 11:33