• Sign in
  • Sign up
conf.researchr.org / Guilhem Jaber
  • ICFP 2016 profile
  • ICFP 2020 profile
  • ICFP 2023 profile
  • POPL 2020 profile
  • POPL 2024 profile
Guilhem Jaber

Registered user since Fri 3 Jul 2015

Name:Guilhem Jaber
Country:France
Affiliation:Nantes Université
Personal website: http://guilhem.jaber.fr

Contributions

2024

POPL

  • Committee Member in Program Committee within the POPL-track

2023

HOPE

  • Author of Operational game semantics for generative algebraic effects and handlers within the HOPE 2023-track

2020

HOPE

  • Author of Kripke open relations and operational game semantics within the HOPE 2020-track

POPL

  • Committee Member in Selection Committee within the Student Research Competition-track
  • Author of SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References within the Research Papers-track

2016

HOPE

  • Committee Member in Program Committee within the HOPE-track
Share
xTue 3 Oct 05:34
using conf.researchr.org (v1.61.3)
Support page
Sign Up