April Gonçalves
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
- Robert Atkeyonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Type-Sensitive Algebraic Macros | PEPM 2025 | 2025-01-21 |
Claims a type-sensitive algebraic theory that directly encodes typechecking and elaboration for STλC, plus concrete variants: Bidirectional STλC and… | ||
| Optimising your code with math | Lambda World Cádiz 2019 | 2019-10-17 |
Shows how equational reasoning and category theory cut a naive O(n^3) max-subarray (all segments → sums → max) down to O(n) by recognizing a monoid… | ||
| nothing matches | ||