conf.researchr.org / 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