Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guilhem Jaber
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2020 profile
ICFP 2023 profile
POPL 2020 profile
POPL 2024 profile
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
x
Tue 3 Oct 05:34
