Registered user since Wed 28 Jul 2021
Name:Chris Smith
Country:United States
X (Twitter): https://x.com/cdsmithus
GitHub: https://github.com/cdsmith
Research interests:Functional Programming
Contributions
2021
ICFP 2021-profile
View general profile
View general profile