Henry Blanchette
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Convenient Algebraic Programming with Coercive Subtyping | LOPSTR+PPDP 2026 | 2026-08-27 |
System automatically inserts the roll/unroll and catamorphism coercions so algebraic programs typecheck without manual coercive subtyping annotations, claiming… | ||
| Pantograph: A Fluid and Typed Structure Editor | POPL 2025 | 2025-01-19 |
Pantograph implements a structure editor that keeps programs as typing derivations by combining tree selection (one-hole contexts for cut/paste and reordering)… | ||
| An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) | HIW 2023 | 2023-09-04 |
Tool generates concrete worklist/workqueue code from high-level fixed‑point rules, producing optimized implementations (not just an interpreter) for examples… | ||
| Liquid Proof Macros | Haskell Symposium 2022 | 2022-09-15 |
Liquid Proof Macros is an extensible metaprogramming framework that uses Template Haskell to generate Liquid Haskell proof terms via a tactic-like DSL, and it… | ||
| nothing matches | ||