Jonathan Sterling
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
all 6 in the filters
who talks about the same things
- Sergei Stepanenko2 talks
- Harrison Grodin3 talks
- Robert Harper5 talks
- Filip Sieczkowski5 talks
- Yue Niu2 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| The Essence of Generalized Algebraic Data Types | POPL 2024 | 2024-01-14 |
Presents a minimal core calculus—System Fω+μ with internalized type equalities and injective constant constructors—that directly encodes GADTs, proves… | ||
| 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… | ||
| A metalanguage for multi-phase modularity | ML 2021 | 2021-08-26 |
Proposes a metalanguage that lets the compiler inline representations without breaking programmer abstractions by indexing types and judgments in a phase… | ||
| nothing matches | ||