![Robin Kaarsgaard](https://popl22.sigplan.org/getProfileImage/robinkaarsgaard/cbb7c491-63bf-42b8-9880-c11fdaa43945/small.jpg?1711625461000)
Registered user since Tue 6 Jul 2021
Name:Robin Kaarsgaard
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: https://functorial.org
X (Twitter): https://x.com/manchegobaby
GitHub: https://github.com/rkaarsgaard
Contributions
2022
POPL 2022-profile
View general profile
View general profile