Jeremy Gibbons
where else to find them
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Bartosz Milewski10 talks
- Alejandro Serrano9 talks
- Alexander Konovalov8 talks
- Harold Carr6 talks
- Alejandro Serrano Mena14 talks
- Emily Pillmore5 talks
| title | conference | date |
|---|---|---|
| Graded Monoids for Dependently Typed Array Programming | ARRAY 2026 | 2026-06-16 |
Defines graded monoids as indexing algebras that let a single fold compute both values and index metadata, proven by a monoid-homomorphism that lifts to an… | ||
| Phases in Software Architecture | FUNARCH 2023 | 2023-09-08 |
Argues that multi‑phase program structure is captured by an applicative functor encoding phases, uses Day convolution to compose two‑phase and iterated… | ||
| Multi-phase computation as an applicative functor | TyDe 2023 | 2023-09-04 |
Claims that structuring a computation as an applicative with phases (implemented via Day convolution / an iterated, homogeneous “phases” type) lets a single… | ||
| What You Needa Know About Yoneda | Code Mesh LDN 2019 | 2019-11-07 |
Explains the Yoneda lemma concretely and shows how two ubiquitous Haskell encodings are isomorphic: getter/setter pairs ↔ profunctor representations. Uses… | ||
| APLicative Programming with Naperian Functors | Lambda World 2017 | 2017-10-26 |
Shows that APL-style implicit lifting, alignment and static shape checks are expressible in Haskell’s type system rather than a custom language: rank… | ||
| Teaching functional programming in the ivory tower ... and in the kitchen | Lambda World 2017 | 2017-10-26 |
Panel compares concrete training tactics and outcomes: industry teams adopt Scala in 2014 to tackle concurrency, distribution and eventual consistency, with… | ||
| nothing matches | ||