G. A. Kavvos
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
- Celia Mengyue Lionce
- Eddie Jonesonce
- Jessica Fosteronce
all 7 in the filters
who talks about the same things
- Samantha Frohlich5 talks
- Meng Wang16 talks
- Celia Mengyue Li2 talks
- Eddie Jones3 talks
- Yizhou Zhang13 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| Contextual Embeddings: Implementing Bound Variables through Instance Resolution | PLDI 2026 | 2026-06-15 |
Introduces contextual embeddings: an embedding that preserves typing contexts and uses the host's type-class instance-resolution based index reconstruction to… | ||
| 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… | ||
| nothing matches | ||