• Sign in
  • Sign up
conf.researchr.org / Guilhem Jaber
  • 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
xTue 28 Mar 14:52
using conf.researchr.org (v1.60.0)
Support page
Sign Up