Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ambrus Kaposi
conf.researchr.org general profile
POPL 2024 profile
Registered user since Thu 9 Nov 2023
Name:
Ambrus Kaposi
Affiliation:
Eötvös Loránd University
Contributions
2024
POPL
Author of Internal parametricity, without an interval within the POPL-track
Share
x
Sat 11 May 23:20