A Crash Course in Category Theory - Bartosz Milewski
Bartosz Milewski - Truth about Types (Lambda Days 2016)
Bartosz Milewski - Programming with Math | Øredev 2018
Interview to Bartosz Milewski @LambdaWorld2017
Programming with algebras - Bartosz Milewski
Bartosz Milewski - The Future of Programming - Part 1/2
Profunctor Optics: The Categorical Approach - Bartosz Milewski
Category Theory Track by Bartosz Milewski Part 1 @ZuriHac2023
Category Theory II 4.2: The Yoneda Lemma
Bartosz Milewski - Co ma piernik do wiatraka, czyli teoria kategorii dla programistow
Category Theory Overview - Bartosz Milewski - Day 1
Bartosz Milewski – Replacing functions with data
Growing Trees From Seeds Using Coalgebras by Bartosz Milewski & Oli Makhasoeva
Bartosz Milewski- Monoidal Catamorphisms- λC 20 Global Edition
Teoria Kategorii - Bartosz Milewski
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
Bartosz Milewski: Haskell -- The Pseudocode Language for C++ Template Metaprogramming (Part 1)
Keynote: Functorio - having fun with functional programming - Bartosz Milewski | Lambda Days 2021
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
Bartosz Milewski—Live-coding with Universal Constructions
