Yue Niu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2024
on a stage with
who talks about the same things
- Harrison Grodin3 talks
- Robert Harper5 talks
- Jonathan Sterling4 talks
- Ugo Dal Lago14 talks
- Jan Hoffmann9 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Decalf: A Directed, Effectful Cost-Aware Logical Framework | POPL 2024 | 2024-01-14 |
Decalf is a directed, effectful, cost-aware logical framework implemented in Agda that equips every type with an intrinsic preorder so a cost bound can itself… | ||
| A Cost-Aware Logical Framework | POPL 2022 | 2022-01-16 |
Presents calf, a full-spectrum dependent type theory that treats cost as an effect and enforces an internal noninterference property so I/O behavior cannot… | ||
| nothing matches | ||