Guilhem Jaber -

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