Bartosz Milewski
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- Øredev2 editions2017–2018
all 7 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Alejandro Serrano9 talks
- Noel Welsh16 talks
- Pawel Szulc28 talks
- Alejandro Serrano Mena14 talks
- Alexander Konovalov8 talks
- Steven Syrek5 talks
| title | conference | date |
|---|---|---|
| Category Theory Track by Bartosz Milewski Part 1 | ZuriHac 2023 | 2023-06-10 |
Translates category-theory universal constructions into concrete Haskell code, showing how unit type / terminal object maps to the polymorphic unit function… | ||
| Category Theory Track by Bartosz Milewski Part 2 | ZuriHac 2023 | 2023-06-10 |
Summarizes concrete identities and constructions used to write code from category theory: uses Curry/uncurry to turn A×B→C into A→(B→C) and completes the… | ||
| Monoidal Catamorphisms | LambdaConf 2020 Global Edition | 2020-06-23 |
Claims that a monoidal catamorphism combines a recursion scheme cata with a fold-that-hides-a-monoid yielding a reusable pattern are demonstrated concretely… | ||
| Live-coding with Universal Constructions | Scala World 2019 | 2019-09-11 |
Claim: universal constructions from category theory translate directly into runnable code, and diagrams yield concrete implementations. Live-coding translates… | ||
| Programming with Math | Øredev 2018 | 2018-11-19 |
Argues that sound type theory, not ad hoc language patches, makes generic programming practical, using Haskell-style examples and concrete contrasts with C++… | ||
| The Earth is Flat: Exploring the Limits of Science | Oredev 2017 | 2017-11-08 |
Argues that the scientific method may hit a real limit: concrete claims include the Standard Model stalling since the 1970s, gravity being non‑renormalizable… | ||
| A Crash Course in Category Theory | Scala.IO 2017 | 2017-11-02 |
Starts from concrete type constructions—void, unit, product, sum, List/Option/Either—and shows how they arise from categorical universal properties; models… | ||
| Profunctor Optics: The Categorical Approach | Lambda World 2017 | 2017-10-26 |
Derives profunctor optics from category theory by applying the Yoneda lemma inside the functor and profunctor categories, uses adjunctions (currying) and… | ||
| 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… | ||
| Truth about Types | Lambda Days 2016 | 2016-02-25 |
Claims that types, logic and category theory are interchangeable via the Curry-Howard-Lambek isomorphism and demonstrates concrete encodings: truth ↔… | ||
| nothing matches | ||