Jad Elkhaleq Ghalayini
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 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sound and Complete Refinement for SSA with Substructural Effects | HOPE 2025 | 2025-10-12 |
A denotational model for SSA is given and a syntactic refinement relation is defined that is proven sound and complete against postset-enriched categories, so… | ||
| SSA is Freyd Categories | GALOP 2024 | 2024-01-14 |
Claim: SSA without control-flow equals Freyd categories; SSA with DAG control-flow equals distributive Freyd categories; general control-flow is a distributive… | ||
| Explicit Refinement Types | ICFP 2023 | 2023-09-04 |
System called λert implements refinement types that require explicit, checkable proofs instead of SMT solving, supporting quantifiers and induction; key claim… | ||
| nothing matches | ||