Chris Jenkins
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aaron Stump2×
- Alex Hubersonce
- Benjamin Delawareonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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 | ||