Eddie Jones
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2021–2026
on a stage with
all 6 in the filters
who talks about the same things
- Steven Ramsay6 talks
- Celia Mengyue Li2 talks
- Magnus Madsen11 talks
- Lars Birkedal35 talks
- Edward Lee10 talks
- Neel Krishnaswami10 talks
| title | conference | date |
|---|---|---|
| Domain-Theoretic Semantics for Functional Logic Programming | POPL 2026 | 2026-01-11 |
Reconstructs a typed FLP core calculus as call-by-push-value with algebraic effects, implements an abstract machine that performs weak head narrowing using… | ||
| Higher-Order MSL Horn Constraints | POPL 2023 | 2023-01-15 |
Extends MSL to higher-order Horn constraints and gives a resolution-based decision procedure that preserves decidable satisfiability by introducing nested… | ||
| Intensional Datatype Refinement | POPL 2021 | 2021-01-17 |
A refinement type system verifies that pattern-match failures cannot occur by adding finitely many constructor-subset refinements and solving set constraints… | ||
| nothing matches | ||