Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guilhem Jaber
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2024 profile
Registered user since Thu 14 Mar 2024
Name:
Guilhem Jaber
Country:
France
Affiliation:
Nantes Université
Personal website:
http://guilhem.jaber.fr/
Contributions
2022
HOPE
Author of Temporal refinements for Call-By-Push-Value with fixpoint within the HOPE 2022-track
2021
ICFP
Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track
Share
x
Mon 30 Dec 18:52