Registered user since Fri 18 Oct 2024
Name:Robert Simmons
Country:United States
Affiliation:Independent
Personal website: https://typesafety.net/rob/
GitHub: https://github.com/robsimmons
Research interests:dependent types, logic programming, computer science education
Contributions
2025
Using general profile