115videosLambdaConf
8.86K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
Playlists · 22
All 22 playlists
- Professional Skills · 6 videos
- Beginner 2018 · 7 videos
- Foundations 2018 · 7 videos
- Applied Scala 2018 · 6 videos
- Formal Methods · 4 videos
- Language and System Design · 4 videos
- FP in Science and Engineering · 3 videos
- Parallelism · 3 videos
- Category Theory · 3 videos
- Techniques for Pure Functional Programs · 3 videos
39:27A Lazy Scheme In Haskell by André M van Meulebrouck
A 39-minute video from LambdaConf: “A Lazy Scheme In Haskell by André M van Meulebrouck”.
51:54Aaron Hsu - Do Programming Language Features Deliver on their Promises
A 52-minute video from LambdaConf: “Aaron Hsu - Do Programming Language Features Deliver on their Promises”.
43:55Aaron Hsu - Functional Array Funhouse Intensive - Part 1 of 5 - λC 2017
A 44-minute video from LambdaConf: “Aaron Hsu - Functional Array Funhouse Intensive - Part 1 of 5 - λC 2017”.
58:29Aaron Hsu - Functional Array Funhouse Intensive - Part 2 of 5 - λC 2017
A 58-minute video from LambdaConf: “Aaron Hsu - Functional Array Funhouse Intensive - Part 2 of 5 - λC 2017”.
2:50:21Aaron Hsu - Functional Array Funhouse Intensive - Part 3 of 5 - λC 2017
A 170-minute video from LambdaConf: “Aaron Hsu - Functional Array Funhouse Intensive - Part 3 of 5 - λC 2017”.
46:38Aaron Hsu - Functional Array Funhouse Intensive - Part 4 of 5 - λC 2017
A 47-minute video from LambdaConf: “Aaron Hsu - Functional Array Funhouse Intensive - Part 4 of 5 - λC 2017”.
44:17Aaron Hsu - Functional Array Funhouse Intensive - Part 5 of 5 - λC 2017
A 44-minute video from LambdaConf: “Aaron Hsu - Functional Array Funhouse Intensive - Part 5 of 5 - λC 2017”.
57:23Aaron Hsu - My favorite verbose programming technique
A 57-minute video from LambdaConf: “Aaron Hsu - My favorite verbose programming technique”.
55:29Aaron Hsu - Parallel-by-construction Tree Manipulation with APL (Part 1) - λC 2018
A 55-minute video from LambdaConf: “Aaron Hsu - Parallel-by-construction Tree Manipulation with APL (Part 1) - λC 2018”.
1:06:35Aaron Hsu - Parallel-by-construction Tree Manipulation with APL (Part 2) - λC 2018
A 67-minute video from LambdaConf: “Aaron Hsu - Parallel-by-construction Tree Manipulation with APL (Part 2) - λC 2018”.
1:17:10Aaron Hsu- Modern APL in the Real World: Theory, Practice, Case Studies- λC 20 Global Edition
A 77-minute video from LambdaConf: “Aaron Hsu- Modern APL in the Real World: Theory, Practice, Case Studies- λC 20 Global Edition”.
1:00:52Aaron Hsu- Program Obesity: A Code Health Epidemic- λC 2019 Unconference
A 61-minute video from LambdaConf: “Aaron Hsu- Program Obesity: A Code Health Epidemic- λC 2019 Unconference”.
22:28Actually Functional Blockchain Design By Luke Champine
A 22-minute video from LambdaConf: “Actually Functional Blockchain Design By Luke Champine”.
27:54Adam Krebs - A visual programming language for animation, geospatial and the web
A 28-minute video from LambdaConf: “Adam Krebs - A visual programming language for animation, geospatial and the web”.
50:42Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017
A 51-minute video from LambdaConf: “Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017”.
51:12Adam McCullough - Killed by Worse is Better - What we can learn from the last time FP failed
A 51-minute video from LambdaConf: “Adam McCullough - Killed by Worse is Better - What we can learn from the last time FP failed”.
50:29Adam McCullough - Monad Transformers for the Easily Confused - λC 2018
A 50-minute video from LambdaConf: “Adam McCullough - Monad Transformers for the Easily Confused - λC 2018”.
49:50Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019
A 50-minute video from LambdaConf: “Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019”.
53:25Adam Warski - The Origins of Free - λC 2017
A 53-minute video from LambdaConf: “Adam Warski - The Origins of Free - λC 2017”.
25:34Afsal Thaj - Rib, a language that I built that could improve the ecosystem of WASM
A 26-minute video from LambdaConf: “Afsal Thaj - Rib, a language that I built that could improve the ecosystem of WASM”.
1:05:46Alberto Gómez Corona - Transient: Unrestricted Algebraic and Monadic Composability - λC 2017
A 66-minute video from LambdaConf: “Alberto Gómez Corona - Transient: Unrestricted Algebraic and Monadic Composability - λC 2017”.
50:14Aldric Giacomoni - a Guided Introduction to Elixir - Part 1 of 6 - λC 2017
A 50-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 1 of 6 - λC 2017”.
56:30Aldric Giacomoni - a Guided Introduction to Elixir - Part 2 of 6 - λC 2017
A 56-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 2 of 6 - λC 2017”.
52:44Aldric Giacomoni - a Guided Introduction to Elixir - Part 3 of 6 - λC 2017
A 53-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 3 of 6 - λC 2017”.
1:01:22Aldric Giacomoni - a Guided Introduction to Elixir - Part 4 of 6 - λC 2017
A 61-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 4 of 6 - λC 2017”.
1:00:24Aldric Giacomoni - a Guided Introduction to Elixir - Part 5 of 6 - λC 2017
A 60-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 5 of 6 - λC 2017”.
50:44Aldric Giacomoni - a Guided Introduction to Elixir - Part 6 of 6 - λC 2017
A 51-minute video from LambdaConf: “Aldric Giacomoni - a Guided Introduction to Elixir - Part 6 of 6 - λC 2017”.
40:49Alejandro Serrano Mena - A Hands on Tutorial to Generic Programming in Haskell (Part 1) - λC 2018
A 41-minute video from LambdaConf: “Alejandro Serrano Mena - A Hands on Tutorial to Generic Programming in Haskell (Part 1) - λC 2018”.
48:37Alejandro Serrano Mena - A Hands on Tutorial to Generic Programming in Haskell (Part 2) - λC 2018
A 49-minute video from LambdaConf: “Alejandro Serrano Mena - A Hands on Tutorial to Generic Programming in Haskell (Part 2) - λC 2018”.
39:59Alejandro Serrano Mena - Guarded Impredicativity - λC 2018
A 40-minute video from LambdaConf: “Alejandro Serrano Mena - Guarded Impredicativity - λC 2018”.
1:02:01Alejandro Serrano Mena - Type Inference in GHC - λC 2017
A 62-minute video from LambdaConf: “Alejandro Serrano Mena - Type Inference in GHC - λC 2017”.
53:11Alejandro Serrano Mena - Variables in Haskell - λC 2017
A 53-minute video from LambdaConf: “Alejandro Serrano Mena - Variables in Haskell - λC 2017”.
48:33Alejandro Serrano Mena - What is a (side) effect? - λC 2018
A 49-minute video from LambdaConf: “Alejandro Serrano Mena - What is a (side) effect? - λC 2018”.
52:06Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017
A 52-minute video from LambdaConf: “Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017”.
55:59Alejandro Serrano: Category Theory Through Functional Programming (part 2/3) - λC 2017
A 56-minute video from LambdaConf: “Alejandro Serrano: Category Theory Through Functional Programming (part 2/3) - λC 2017”.
53:52Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017
A 54-minute video from LambdaConf: “Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017”.