Category Theory, The essence of interface-based design - Erik Meijer Published 2015-09-10 Download video MP4 360p Recommendations 1:15:14 A Crash Course in Category Theory - Bartosz Milewski 1:00:08 Categories for AI 1: Why Category Theory? By Bruno Gavranović 1:03:43 How to Speak 45:28 Lambda World 2019 - A categorical view of computational effects - Emily Riehl 52:00 What are we tracking? How Applied Category Theory puts thinking on rails 1:05:44 Functional programming design patterns by Scott Wlaschin 1:44:20 Tutorial on Category Theory: Part 1 – Pure and Classical 46:46 Category Theory 1.1: Motivation and Philosophy 42:43 "Propositions as Types" by Philip Wadler 22:06 The Mathematician's Weapon | Category Theory and Why We Care §1.0 1:06:13 Applied Category Theory 50:52 Category Theory for the Working Hacker by Philip Wadler 1:27:10 Introduction to Philosophy Lecture #1: Introduction 1:07:58 Erik Meijer: Functional Programming 49:43 Nima Arkani-Hamed: The End of Space-Time 57:56 Category Theory For Beginners: Introduction 40:39 Category Theory in Life - Eugenia Cheng 1:19:56 1. Introduction to the Human Brain 1:01:08 David Spivak - Category Theory - Part 1 of 6 - λC 2017 Similar videos 1:00:46 Advancements and Future Directions in AI-assisted Coding - Erik Meijer 51:28 Functional Programming from First Principles • Erik Meijer • GOTO 2012 10:32 What is category theory? 1:13:04 Expert to Expert: Brian Beckman and Erik Meijer - Inside the .NET Reactive Framework (Rx) 1:06:36 The Principles Behind Differentiable Programming | Erik Meijer 43:54 Alchemy For the Modern Computer Scientist - Erik Meijer 55:37 One Hacker Way • Erik Meijer • GOTO 2015 50:38 Erik Meijer and Gilad Bracha: Dart, Monads, Continuations, and More 05:49 Art & design - Vesta Schelin 10:02 Are categories Design Patterns? 1:06:08 TDSS 98: Category Theory and the Mathematical Foundation of the Technologies We Use 1:42:39 Category Theory Lulz - Ken Scambler 34:25 Interview with Erik Meijer • GOTO 2013 1:32:11 Category Theory: Categories for the Working Programmer 1:11:10 2015-09 Category Theory in Functional Programming 1:51:11 Meijer & Prokopec - Variational Calculus for Dummies More results