ICFP/SPLASH 2025 (series) / J. Carr
Registered user since Tue 5 Aug 2025
Name:J. Carr
Country:United States
Affiliation:University of Chicago
Research interests:Program Analysis, Type Theory, Logic
Contributions
Using general profile
Registered user since Tue 5 Aug 2025
Contributions