Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guilhem Jaber
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
Not registered as user yet
Name:
Guilhem Jaber
Country:
France
Affiliation:
University of Nantes
Contributions
HOPE 2022
Author of Temporal refinements for Call-By-Push-Value with fixpoint within the HOPE 2022-track
ICFP 2021
Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track
Share
x
Tue 28 Mar 14:52