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
175 results
Yet another take on "what's a monad" in Haskell.
49,353 views
3 years ago
Hey y'all, it's @lambdalinguist, PhD Student at @ucsd_cse, my coauthors (@aaronguo069, @mistzzt, Shivani Doshi, @hilacodes, ...
447 views
Thank you all for watching! If you want to see more of this, consider subscribing! In this video we will talk about higher-order ...
14,499 views
10 months ago
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus.
1,004,610 views
7 years ago
--- Functional programming is a powerful paradigm in the programming world, where strict rules are applied in order to reduce ...
892,314 views
9 months ago
There are different styles of programming, some quite closely resemble pure mathematics. Mathematician and Computer Scientist ...
679,092 views
10 years ago
00:00 Introducing Haddock, Haskell's documentation tool 00:42 Solution to part 1 of day 13 02:48 Solution to part 2 of day 13 The ...
216 views
Improve the efficiency of recursive code by re-writing it to be tail recursive. Professor Graham Hutton explains. EXTRA BITS: ...
169,421 views
4 years ago
So, you can look up some Haskell documentation to see all the various type classes that are built in to Haskell. There is a very ...
2,204 views
6 years ago
Hi, this is our presentation of our OOPSLA paper "Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell".
315 views
00:00 Unreadable code complaint 00:15 How I write the code in Python part 1 00:47 Borrow checker from Rust complaint 01:06 ...
24 views
11 months ago
This is a simple "getting started" video, showing how to compile and run the examples for the Haskell Vulkan bindings on macOS ...
1,489 views
In this series, I'll be attempting to complete the 2021 Advent of Code in the Haskell programming language. This video explains ...
439 views
2 years ago
Get ready to explore the origins of the #Elixir programming language, the manner in which it handles concurrency and the speed ...
231,150 views
5 years ago
A quick look at Elm. Topics: - Advantages and disadvantages of JavaScript; - Basic Elm project example; - Why use Elm?
15,869 views
1 year ago
In this talk, we will introduce a new tool called digodoc, that builds a graph of an opam switch, associating files, libraries and opam ...
101 views
Plutus Pioneer Program, Iteration #3, Lecture #1, Part #3.
8,445 views
I've been exploring note taking for years, but as a Vim user who's trying to make it work for every bit of text I write, it always made ...
299,229 views
5 months ago
In this series, I'll be attempting to complete the 2020 Advent of Code in the Haskell programming language. 00:00 Retrospective of ...
139 views
This is a first lecture from the "Building a Parser from scratch" where we build a Recursive-descent parser for a full programming ...
140,398 views