Hamza Jaâfar
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Operational game semantics for generative algebraic effects and handlers | GALOP 2024 | 2024-01-14 |
Describes a typed call-by-value λ-calculus with first-class effect instances and dynamic generation plus a public/private disclosure discipline; builds an… | ||
| Operational game semantics for generative algebraic effects and handlers | HOPE 2023 | 2023-09-04 |
Claims a trace-based operational game semantics for a typed call-by-value λ-calculus with algebraic effects, handlers and dynamic effect instances (new creates… | ||
| nothing matches | ||