Graham Hutton
where else to find them
what they talk about
where they keep going back
on a stage with
who talks about the same things
- Brandon Hewer2 talks
- Simon Peyton Jones26 talks
- Emily Pillmore5 talks
- Steve Zdancewic19 talks
- Alex Hubers3 talks
- Edward Lee10 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… | ||
| The Calculated Typer (Functional Pearl) | Haskell 2025 | 2025-10-16 |
Derives type checkers mechanically from a behavioural semantics by solving an inequality spec with equational, fold-based calculation and fold fusion to turn… | ||
| 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… | ||
| Calculating Compilers for Concurrency | ICFP 2023 | 2023-09-04 |
Paper shows a method that turns a high‑level choice trees semantics into a correct-by-construction compiler by adding a codensity construction, yielding… | ||
| Monadic Compiler Calculation (Functional Pearl) | ICFP 2022 | 2022-09-11 |
Derives a correct compiler from a correctness specification by calculating definitions during the proof, using the partiality monad to make divergence explicit… | ||
| nothing matches | ||