Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
3,598 results
Functional Architecture is Algebraic Architecture (Video, FUNARCH 2026) Jeffrey Young (Canonical) Abstract: A continuation of ...
59 views
5d ago
Download files: https://excelisfun.net/files/DAMEwithMPT05.zip In this video learn about all the fundamentals of the M Code ...
19,675 views
3d ago
Pure functions No side effects Immutability First-class functions Referential transparency.
27 views
1d ago
Functional Programming with Serialized Data (Video, ML 2026) Michael Vollmer (University of Kent) Abstract: In many high-level ...
143 views
purrr becomes especially powerful when you move beyond basic map() functions and start combining iteration, nested data, error ...
6d ago
Functional / Logic Programming in Verse (Video, LOPSTR+PPDP 2026) Stephanie Weirich (University of Pennsylvania) Abstract: ...
144 views
Silica: A functional systems language for modern chips, modern tools, and honest boundaries (Video, Erlang 2026) Lee Barney ...
43 views
Geometry of Machine Learning 2026 9/11/2026 Speaker: Nada Amin, Harvard Title: Compiling Programs to Neurons Abstract: ...
617 views
Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report) (Video, ICFP 2026) Eleftherios Ioannidis, Nikhil ...
45 views
Mathematical Functions Functional Programming and the Power of Mathematical Functions Referential Transparency Side Effect ...
17 views
Imprecise Probabilistic Programming, Precisely (Functional Pearl) (Video, ICFP 2026) Jack Liell-Cock, and Sam Staton (University ...
24 views
Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report) (Video, FUNARCH 2026) Leon Heuer, ...
119 views
... dive into the intersection of functional programming and mechanical sympathy: how we can achieve faster-performing functional ...
515 views
Welcome (Video, PLMW @ ICFP 2026) Conrad Watt, and Mae Milano (Nanyang Technological University; Princeton University) ...
Efficient strong functional programming with effects and compiler guided reference counting (Video, ICFP 2026) Daan Leijen ...
165 views
I continue porting my NES emulator for Haskell to Lean. In this edited version of the 4-hour livestream, I muse a bit about syntax ...
403 views
Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus (Video, ICFP ...
25 views
QuickChecking Convergence of Rewriting Systems (Functional Pearl) (Video, ICFP 2026) Koen Claessen (Chalmers University of ...
53 views
Elements of Logic Programming in a Concatenative Functional Language (Video, LOPSTR+PPDP 2026) Attila Egri-Nagy (Akita ...
47 views
![[FUNARCH'26] Functional Architecture is Algebraic Architecture](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fq_wc3wQN1D8%2Fsddefault.jpg)
![[ML'26] Functional Programming with Serialized Data](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FMdIG2T-MOWE%2Fsddefault.jpg)
![[LOPSTR+PPDP'26] Functional / Logic Programming in Verse](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F1q1ryNSllxY%2Fsddefault.jpg)
![[Erlang'26] Silica: A functional systems language for modern chips, modern tools, and honest(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FBHDpGfwrNzc%2Fsddefault.jpg)
![[ICFP'26] Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Ffp5MMnEEWA4%2Fsddefault.jpg)
![[ICFP'26] Imprecise Probabilistic Programming, Precisely (Functional Pearl)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fy6Gwr33DaCg%2Fsddefault.jpg)
![[FUNARCH'26] Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FTFIHcp6tJOI%2Fsddefault.jpg)
![[FUNARCH'26] Functional Mechanical Sympathy (Keynote)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FjSHmDnUZCm8%2Fsddefault.jpg)
![[PLMW @ ICFP'26] Welcome](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F8p6sVgPqSd4%2Fsddefault.jpg)
![[ICFP'26] Efficient strong functional programming with effects and compiler guided reference(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FMxW7I7-BtUM%2Fsddefault.jpg)
![[ICFP'26] Inlining as a space optimization: a simple time- and space-invariant implementation of(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FF5MxLjo-7ok%2Fsddefault.jpg)
![[ICFP'26] QuickChecking Convergence of Rewriting Systems (Functional Pearl)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FxDjKXn9pwJE%2Fsddefault.jpg)
![[LOPSTR+PPDP'26] Elements of Logic Programming in a Concatenative Functional Language](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FG7Y99PmhjW0%2Fsddefault.jpg)