Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hamza Jaâfar
conf.researchr.org general profile
ICFP 2023 profile
POPL 2024 profile
Not registered as user yet
Name:
Hamza Jaâfar
Affiliation:
Inria
Contributions
2024
GaLoP
Author of Operational game semantics for generative algebraic effects and handlers within the GALOP 2024-track
2023
HOPE
Author of Operational game semantics for generative algebraic effects and handlers within the HOPE 2023-track
Share
x
Fri 15 Nov 09:24