Guilhem Jaber
where else to find them
what they talk about
where they keep going back
- HOPE2 editions2022–2023
on a stage with
- Hamza Jaâfar2×
- Colin Ribaonce
- Kenji Maillardonce
all 6 in the filters
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… | ||
| An abstract, certified account of Operational Game Semantics | GALOP 2024 | 2024-01-14 |
An abstract, certified account builds operational game semantics formalized in Coq and gives a generic soundness theorem for OGS that covers polarized and… | ||
| 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… | ||
| Temporal refinements for Call-By-Push-Value with fixpoint | HOPE 2022 | 2022-09-11 |
Proposes temporal refinements for a Call-By-Push-Value calculus with arbitrary fixpoints and shows how a comonadic modality (a box) plus a later modality… | ||
| nothing matches | ||