Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Giulia Giusti
conf.researchr.org general profile
APLAS 2024 profile
POPL 2026 profile
Not registered as user
Name:
Giulia Giusti
Affiliation:
ENS Lyon
Contributions
2026
POPL
Author of JAX Autodiff from a Linear Logic Perspective within the POPL-track
2024
APLAS
Author of On Computational Indistinguishability and Logical Relations within the Research Papers-track
Share
x
Wed 21 Oct 10:27