
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
2025
POPL 2025-profile
View general profile
View general profile