• Sign in
  • Sign up
conf.researchr.org / Guilhem Jaber
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
No Photo

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
xMon 23 Jun 04:39
using conf.researchr.org (v1.69.0)
Support page
Sign Up