Registered user since Tue 6 Jul 2021
Name:Robin Kaarsgaard
Country:Denmark
Affiliation:University of Southern Denmark
Personal website: https://functorial.org
X (Twitter): https://x.com/manchegobaby
GitHub: https://github.com/rkaarsgaard
Contributions
POPL 2024-profile
View general profile
View general profile