_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > Colin Curtis

Colin Curtis	26 subscribers    RSS
View channel on YouTube Videos Playlists

YT 7 minutes 56 seconds Icey Bit Plutus Core - Professor Philip Wadler - Area Leader - Programming Languages - Cardano - IOHK - YT 34 minutes 35 seconds Input Output IOHK | Using the ΔQ calculus to model blockchain scalability, Dr Neil Davies, PNsol. YT 59 minutes 24 seconds Input Output IOHK | Cardano development techniques, with Duncan Coutts, PhD

YT 50 minutes 52 seconds Lambda World Category Theory for the Working Hacker by Philip Wadler YT 45 minutes 1 second Engineers.SG Category Theory for Mortal Programmers - Pivotal Labs SG Tech Talks YT 42 minutes 43 seconds Strange Loop Conference "Propositions as Types" by Philip Wadler

YT 17 minutes 46 seconds Computerphile Propositions as Types - Computerphile YT 48 minutes 18 seconds Bartosz Milewski Category Theory 1.2: What is a category? YT 44 minutes 35 seconds Brian Will Object-Oriented Programming is Bad

YT 5 minutes 22 seconds Computerphile The Art of Abstraction - Computerphile YT 1 hour 7 minutes 58 seconds jasonofthel33t Erik Meijer: Functional Programming YT 11 minutes 19 seconds Stefan Mischook What is the Best Programming Language for Freelance Developers?

YT 27 minutes 51 seconds Clever Programmer Python Django Tutorial 2018 for Beginners Part 1 - How to Create a Project