Emily Pillmore
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Alexander Konovalov8 talks
- Alejandro Serrano9 talks
- Jeremy Gibbons7 talks
- Bartosz Milewski10 talks
- Greg Pfeil5 talks
- Harold Carr6 talks
| title | conference | date |
|---|---|---|
| Type Arithmetic and the Yoneda Lemma | Scala World 2019 | 2019-09-11 |
Type signatures get counted and proven equal to set cardinalities using category theory and code: natural transformations, Yoneda lemma, and representable… | ||
| Isomorphic Reasoning: Counting with Types Part 1 | LambdaConf 2019 | 2019-06-05 |
Claim: parametric polymorphism gives a hidden type arithmetic that lets one compute exact inhabitant counts (e.g. ∀a. a→a is unique, function types count as… | ||
| Isomorphic Reasoning: Counting with Types Part 2 | LambdaConf 2019 | 2019-06-05 |
This is a 3 video talk; Please see:
Part 1: https://youtu.be/ApHFidwNypE
Part 3: https://youtu.be/kKZTd7D33KY
*We are aware of the sound issue for parts 2 and… | ||
| Isomorphic Reasoning: Counting with Types Part 3 | LambdaConf 2019 | 2019-06-05 |
This is a 3 video talk; Please see:
Part 1: https://youtu.be/ApHFidwNypE
Part 2: https://youtu.be/UScWv37aJhY
*We are aware of the sound issue for parts 2 and… | ||
| A Categorical View of Adjunctions, Free Constructions, and Profunctor Optics | LambdaConf 2019 | 2019-06-05 |
Adjunctions become the practical tool for deriving universal properties and free constructions (lists, free monoids, free groups) by exhibiting explicit… | ||
| nothing matches | ||