Registered user since Fri 19 Apr 2024
Name:Tim Steenvoorden
Country:Netherlands
Affiliation:Open Universiteit
Personal website: http://www.ou.nl
GitHub: https://github.com/timjs
Research interests:programming language design and implementation, advanced type systems
Contributions
POPL 2025-profile
View general profile
View general profile