Registered user since Sat 31 Jul 2021
Name:Patrick Ferris
Country:United Kingdom
Affiliation:University of Cambridge, UK
Personal website: https://patrick.sirref.org
X (Twitter): https://x.com/patricoferris
GitHub: https://github.com/patricoferris
Research interests:Systems
Contributions
2023
ICFP 2023-profile
View general profile
View general profile