Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eve Geng
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Thu 18 Sep 2025
Name:
Eve Geng
Affiliation:
Chalmers University of Technology, Gothenburg, Sweden
Contributions
2025
TyDe
Author of A Formalization of Opaque Definitions for a Dependent Type Theory [Remote] within the TyDe 2025-track
Share
x
Tue 28 Oct 17:02