conf.researchr.org / Jacob Walters
Not registered as user yet
Name:Jacob Walters
Affiliation:University of Edinburgh
Contributions
LAFI 2023 | Author of Towards type-driven data-science in Idris within the LAFI 2023-track |
Not registered as user yet
Contributions
LAFI 2023 | Author of Towards type-driven data-science in Idris within the LAFI 2023-track |