conf.researchr.org / Juli O’Connor
Juli O’Connor

Registered user since Thu 8 May 2025

Name:Juli O’Connor
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://julianaoconnor.com/
GitHub: https://github.com/julianaoconnor
Research interests:Programming languages, Type Theory, Proof Assistants

Contributions