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
513 results
Functional Architecture is Algebraic Architecture (Video, FUNARCH 2026) Jeffrey Young (Canonical) Abstract: A continuation of ...
66 views
6d ago
... functions - Object-Oriented Programming: Bundling data and behavior with classes and inheritance - Functional Programming: ...
15 views
9h ago
Racket has an interesting feature that other languages should take notice of.
237 views
Imprecise Probabilistic Programming, Precisely (Functional Pearl) (Video, ICFP 2026) Jack Liell-Cock, and Sam Staton (University ...
24 views
Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report) (Video, ICFP 2026) Eleftherios Ioannidis, Nikhil ...
47 views
QuickChecking Convergence of Rewriting Systems (Functional Pearl) (Video, ICFP 2026) Koen Claessen (Chalmers University of ...
53 views
Welcome (Video, PLMW @ ICFP 2026) Conrad Watt, and Mae Milano (Nanyang Technological University; Princeton University) ...
17 views
... importance of maintaining code readability when refactoring functional programming logic in Haskell. The author demonstrates ...
1 view
4d ago
Demand-on-Demand Control-Flow Analysis (Video, ICFP 2026) Chahyun Kang, Kimball Germane (Brigham Young University, ...
In Stage 4 of the Systems Development Life Cycle (SDLC) — Systems Implementation — theoretical blueprints and process ...
5d ago
Programming Challenge to Attendees (Video, miniKanren 2026) Chris Martens, and William E. Byrd (Northeastern University; ...
28 views
In this video, we explore 3 important types of programming in Python and understand how each approach works with simple ...
19 views
Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus (Video, ICFP ...
27 views
Generated by Gemini Notebook based on this blog post: ...
2 views
Function composition in JavaScript explained in Telugu Functional programming in JavaScript Telugu How to combine multiple ...
5 views
2d ago
0 views
In this way, Citrus provides a simple functional programming language, equivalent to PyLSE, with increased verification ...
39 views
Package Managers à la Carte: A Formal Model of Dependency Resolution (Video, ICFP 2026) Ryan T. Gibb, Patrick Ferris, David ...
649 views
Python Series – Day 22 In this lesson, we explore Python's functional programming tools and lexical scope closures. You'll learn ...
3d ago
Better Safe and Sorry: Tabular Types for Dynamic Languages (Video, ICFP 2026 SRC) Vincent H. Chan, Matías Toro, and ...
37 views
Show more
![[FUNARCH'26] Functional Architecture is Algebraic Architecture](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fq_wc3wQN1D8%2Fsddefault.jpg)
![[ICFP'26] Imprecise Probabilistic Programming, Precisely (Functional Pearl)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fy6Gwr33DaCg%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] QuickChecking Convergence of Rewriting Systems (Functional Pearl)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FxDjKXn9pwJE%2Fsddefault.jpg)
![[PLMW @ ICFP'26] Welcome](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F8p6sVgPqSd4%2Fsddefault.jpg)
![[ICFP'26] Demand-on-Demand Control-Flow Analysis](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FGLerLb-_AUc%2Fsddefault.jpg)
![[miniKanren'26] Programming Challenge to Attendees](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FuCfZl8Mqy8U%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] Citrus: Algebraic Reasoning About Superconductor Electronics](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F7z9IzpsMZZk%2Fsddefault.jpg)
![[ICFP'26] Package Managers à la Carte](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FGpfWF8wq2Vs%2Fsddefault.jpg)
![[ICFP SRC'26] Better Safe and Sorry: Tabular Types for Dynamic Languages](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F5bHRfEcH3Oo%2Fsddefault.jpg)