ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

513 results

ACM SIGPLAN
[FUNARCH'26] Functional Architecture is Algebraic Architecture

Functional Architecture is Algebraic Architecture (Video, FUNARCH 2026) Jeffrey Young (Canonical) Abstract: A continuation of ...

16:49
[FUNARCH'26] Functional Architecture is Algebraic Architecture

66 views

6d ago

MyStudy
#6 Every Programming Paradigm Explained in 6 Minutes

... functions - Object-Oriented Programming: Bundling data and behavior with classes and inheritance - Functional Programming: ...

6:10
#6 Every Programming Paradigm Explained in 6 Minutes

15 views

9h ago

The Functional Craft of Programming
Notable Notes: #lang in Racket

Racket has an interesting feature that other languages should take notice of.

17:34
Notable Notes: #lang in Racket

237 views

6d ago

ACM SIGPLAN
[ICFP'26] Imprecise Probabilistic Programming, Precisely (Functional Pearl)

Imprecise Probabilistic Programming, Precisely (Functional Pearl) (Video, ICFP 2026) Jack Liell-Cock, and Sam Staton (University ...

16:55
[ICFP'26] Imprecise Probabilistic Programming, Precisely (Functional Pearl)

24 views

6d ago

ACM SIGPLAN
[ICFP'26] Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report) (Video, ICFP 2026) Eleftherios Ioannidis, Nikhil ...

18:16
[ICFP'26] Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

47 views

6d ago

ACM SIGPLAN
[ICFP'26] QuickChecking Convergence of Rewriting Systems (Functional Pearl)

QuickChecking Convergence of Rewriting Systems (Functional Pearl) (Video, ICFP 2026) Koen Claessen (Chalmers University of ...

17:48
[ICFP'26] QuickChecking Convergence of Rewriting Systems (Functional Pearl)

53 views

6d ago

ACM SIGPLAN
[PLMW @ ICFP'26] Welcome

Welcome (Video, PLMW @ ICFP 2026) Conrad Watt, and Mae Milano (Nanyang Technological University; Princeton University) ...

7:34
[PLMW @ ICFP'26] Welcome

17 views

6d ago

KIANMENG ANG
Notes on Haskell Programming (Part 245): When you still need parentheses

... importance of maintaining code readability when refactoring functional programming logic in Haskell. The author demonstrates ...

4:13
Notes on Haskell Programming (Part 245): When you still need parentheses

1 view

4d ago

ACM SIGPLAN
[ICFP'26] Demand-on-Demand Control-Flow Analysis

Demand-on-Demand Control-Flow Analysis (Video, ICFP 2026) Chahyun Kang, Kimball Germane (Brigham Young University, ...

19:47
[ICFP'26] Demand-on-Demand Control-Flow Analysis

47 views

6d ago

USM Kenny
SDLC Stage 4: Systems Implementation & Prototype Development

In Stage 4 of the Systems Development Life Cycle (SDLC) — Systems Implementation — theoretical blueprints and process ...

7:13
SDLC Stage 4: Systems Implementation & Prototype Development

1 view

5d ago

ACM SIGPLAN
[miniKanren'26] Programming Challenge to Attendees

Programming Challenge to Attendees (Video, miniKanren 2026) Chris Martens, and William E. Byrd (Northeastern University; ...

8:34
[miniKanren'26] Programming Challenge to Attendees

28 views

6d ago

Code & Secure AI
Types of Programming in Python Explained 🐍 | Procedural vs Functional vs OOP

In this video, we explore 3 important types of programming in Python and understand how each approach works with simple ...

8:05
Types of Programming in Python Explained 🐍 | Procedural vs Functional vs OOP

19 views

4d ago

ACM SIGPLAN
[ICFP'26] Inlining as a space optimization: a simple time- and space-invariant implementation of(…)

Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus (Video, ICFP ...

16:42
[ICFP'26] Inlining as a space optimization: a simple time- and space-invariant implementation of(…)

27 views

6d ago

KIANMENG ANG
Notes on Haskell Programming (Part 242): Is function composition still useful?

Generated by Gemini Notebook based on this blog post: ...

6:14
Notes on Haskell Programming (Part 242): Is function composition still useful?

2 views

5d ago

Code Yuva
Function Composition | Combining Multiple Functions

Function composition in JavaScript explained in Telugu Functional programming in JavaScript Telugu How to combine multiple ...

6:16
Function Composition | Combining Multiple Functions

5 views

2d ago

viral time 👆
Functional Components in React Js
5:19
Functional Components in React Js

0 views

5d ago

ACM SIGPLAN
[ICFP'26] Citrus: Algebraic Reasoning About Superconductor Electronics

In this way, Citrus provides a simple functional programming language, equivalent to PyLSE, with increased verification ...

15:13
[ICFP'26] Citrus: Algebraic Reasoning About Superconductor Electronics

39 views

6d ago

ACM SIGPLAN
[ICFP'26] Package Managers à la Carte

Package Managers à la Carte: A Formal Model of Dependency Resolution (Video, ICFP 2026) Ryan T. Gibb, Patrick Ferris, David ...

19:40
[ICFP'26] Package Managers à la Carte

649 views

6d ago

Code to AI
Python Series – Day 22 | lambda, map(), filter() & Closures

Python Series – Day 22 In this lesson, we explore Python's functional programming tools and lexical scope closures. You'll learn ...

8:03
Python Series – Day 22 | lambda, map(), filter() & Closures

2 views

3d ago

ACM SIGPLAN
[ICFP SRC'26] Better Safe and Sorry: Tabular Types for Dynamic Languages

Better Safe and Sorry: Tabular Types for Dynamic Languages (Video, ICFP 2026 SRC) Vincent H. Chan, Matías Toro, and ...

5:06
[ICFP SRC'26] Better Safe and Sorry: Tabular Types for Dynamic Languages

37 views

6d ago

Show more