Alex Hubers
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- J. Garrett Morris3×
- Aaron Stumponce
- Apoorv Ingleonce
all 5 in the filters
who talks about the same things
- Aaron Stump5 talks
- J. Garrett Morris11 talks
- Benjamin Delaware18 talks
- Nicolas Tabareau14 talks
- Steve Zdancewic19 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat... | ICFP 2023 | 2023-09-04 |
Claims a practical calculus, System Rω, that extends Fω with row types and higher‑order rows to express generic operations over unknown labels; implements… | ||
| A Type-Based Approach to Divide-and-Conquer Recursion in Coq | POPL 2023 | 2023-01-15 |
Presents a type-level interface that encodes divide-and-conquer recursion as Mendler-style algebras, implemented in Coq and expressible in System F_omega plus… | ||
| Partial Type Constructors in Practice | Haskell Symposium 2022 | 2022-09-15 |
Proposes making partial type constructors explicit in Haskell by encoding well-formedness as constraints (implemented via type families and data-type contexts)… | ||
| nothing matches | ||