Brandon Hewer
where else to find them
what they talk about
where they keep going back
- POPL2 editions2024–2026
on a stage with
who talks about the same things
- Graham Hutton7 talks
- Emily Pillmore5 talks
- Jeremy Gibbons7 talks
- Chen Cui3 talks
- Stephen Pimentel3 talks
- Jon Howell8 talks
| title | conference | date |
|---|---|---|
| Quotient Polymorphism | POPL 2026 | 2026-01-11 |
Adds choice polymorphism for quotiented types to stop repeating equivalent functions and to accept valid-but-rejected code, implemented in Quotient Haskell on… | ||
| Quotient Haskell: Lightweight Quotient Types for All | POPL 2024 | 2024-01-14 |
Quotient Haskell extends Liquid Haskell to add quotient types whose proof obligations are decidable by an SMT solver, so functions are automatically checked… | ||
| nothing matches | ||