Frank Pfenning
where else to find them
what they talk about
where they keep going back
- POPL2 editions2024–2026
all 5 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Hemant Gouni3 talks
- Jonathan Aldrich17 talks
- Deepak Garg18 talks
- Andreia Mordido2 talks
- Lionel Parreaux19 talks
- James McKinna2 talks
| title | conference | date |
|---|---|---|
| Security Reasoning via Substructural Dependency Tracking | POPL 2026 | 2026-01-11 |
A new type system flips substructural resource reasoning from inputs to outputs and implements a suspended computation connective so effects are produced when… | ||
| Structural Information Flow: A Fresh Look at Types for Non-Interference | OOPSLA 2025 | 2025-10-16 |
Type system separates data abstraction from information flow, turns single labels into dependency sets, and encodes quantifiers as existentials so module… | ||
| Parametric Subtyping for Structural Parametric Polymorphism | POPL 2024 | 2024-01-14 |
Paper proves structural subtyping is undecidable for recursive type constructors and defines parametric subtyping as a decidable fragment that enforces… | ||
| So what's the difference between a session type and an ordinary type anyway? | ST30 2023 | 2023-10-22 |
Session types differ from ordinary types because they are substructural (linear), they distinguish global vs local specifications, and their channel behavior… | ||
| Intuitionistic Metric Temporal Logic | PPDP 2023 | 2023-10-22 |
Defines Intuitionistic Metric Temporal Logic (IMTL) that extends intuitionistic temporal calculi to dense time with explicit intervals and gives every proof a… | ||
| Modal Logics and Types: Looking Back and Looking Forward | PEPM 2022 | 2022-01-17 |
Shows that modal types make runtime code generation, staging and partial evaluation precise by decomposing S4 into up/down shifts (quotation = box as up then… | ||
| nothing matches | ||