Greg Brown
where else to find them
linkedin:gregorybrown89
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Dependent Language with Type-Safe Program Extraction | WITS 2026 | 2026-01-17 |
Extractly is a first‑order language inspired by Polarity that removes large elimination and requires all data type definitions to be small, so extraction… | ||
| A Fuelled Self-Reducer for System T | PEPM 2025 | 2025-01-21 |
Implements a fuelled self-reducer for System T that actually runs: uses Kiselyov and Longley and Normann encodings for products, sums and some inductive types… | ||
| Pretend it’s a Movie: How to Build Excitement for Your Apache Project | Community Over Code EU 2024 | 2024-06-03 |
Uses a two-step film marketing model — tagline then trailer — to make Apache projects memorable: start with a one-line hook (avoid buzzwords, keep it… | ||
| nothing matches | ||