Dmitriy Traytel
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
all 8 in the filters
who talks about the same things
- Andrei Popescu5 talks
- James McKinna2 talks
- Sharon Shoham13 talks
- Robbert Krebbers26 talks
- Ondřej Lhoták11 talks
- Andreas Abel6 talks
| title | conference | date |
|---|---|---|
| Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with(…) | POPL 2025 | 2025-01-19 |
Provides a semantic criterion that turns inductive rule systems with binders into strengthened induction theorems by modelling relations as Knaster–Tarski… | ||
| CPP Business Meeting | CPP 2023 | 2023-01-16 |
Conference reports concrete numbers: 53 submissions, 25 accepted after a two‑month light double‑blind review with 33 PC members and about 20 external… | ||
| Admissible Types-to-PERs Relativization in Higher-Order Logic | POPL 2023 | 2023-01-15 |
Proves that for a large practical fragment of HOL (including datatypes and codatatypes) a types-to-PERs relativization is admissible: if a type-based theorem… | ||
| Certified Mergeable Replicated Data Types | PLDI 2022 | 2022-06-13 |
A certified MRDT library implemented in F provides machine-checked specifications and proofs that three-way merge implementations preserve intents like… | ||
| nothing matches | ||