Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Corentin De Souza
conf.researchr.org general profile
PLDI 2022 profile
Registered user since Tue 7 Jun 2022
Name:
Corentin De Souza
Contributions
2022
Infer
Author of Higher-order function specialization in Infer within the Infer 2022-track
Share
x
Sat 23 Nov 11:04