ICFP/SPLASH 2025 (series) / Michael Arntzenius
Registered user since Tue 28 Aug 2018
Name:Michael Arntzenius
Affiliation:None
Personal website: https://www.rntz.net
X (Twitter): https://x.com/arntzenius
GitHub: https://github.com/rntz
Contributions
Using general profile