Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cassia Torczon
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
SPLASH 2024 profile
Not registered as user
Name:
Cassia Torczon
Affiliation:
University of Pennsylvania
Contributions
2025
SPLASH
Author of QED in Context: An Observation Study of Proof Assistant Users within the OOPSLA-track
2024
SPLASH
Author of Effects and Coeffects in Call-By-Push-Value within the OOPSLA 2024-track
Share
x
Wed 24 Sep 04:24