Registered user since Mon 18 Jun 2018
Name:Caleb Stanford
Country:United States
Affiliation:University of California, Davis
Personal website: https://web.cs.ucdavis.edu/~cdstanford/
X (Twitter): https://x.com/calebstanford4
GitHub: https://github.com/cdstanford
Research interests:Programming Languages, Systems, Logic
Contributions
POPL 2024-profile
View general profile
View general profile