4:27How to learn Lean programming language | Terence Tao and Lex FridmanLex Clips26.7K viewsView & Download
31:40Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024GOTO Conferences10.4K viewsView & Download
17:55An introduction to Lean 4, a functional programming languageElixir, Erlang, the BEAM (and Lean)13.3K viewsView & Download
45:56What is Functional Programming? - Adam Warski | Lambda Days 2025Code Sync869 viewsView & Download
33:09The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006Antithesis10.1K viewsView & Download
21:357 Functional Programming Techniques EVERY Developer Should KnowArjanCodes56.8K viewsView & Download
56:04Back to Basics: Functional Programming and Monads in C++ - Jonathan Müller - CppCon 2024CppCon13.6K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.8K viewsView & Download
11:50:47Functional Programming in Scala | Functional Programming and ScalaNerd's Academy30.1K viewsView & Download