Aaron Stump
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
all 7 in the filters
who talks about the same things
- Alex Hubers3 talks
- J. Garrett Morris11 talks
- Colin McDonald2 talks
- Steve Zdancewic19 talks
- Kathrin Stark8 talks
- Benjamin Delaware18 talks
| 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… | ||
| 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… | ||
| Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille | ICFP 2020 | 2020-08-23 |
Implementation of Harper’s continuation-based regular-expression matcher in Cedille claims static termination on all inputs while using only standard… | ||
| nothing matches | ||