5:31Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous FunctionsPhilipp Hagenlocher66.8K viewsView & Download
27:34Refactoring a lambda calculus interpreter into a stack machine, in HaskellPhil Freeman1.2K viewsView & Download
8:07HPBE010: Playing Euler's famous prime number formula with lambda expression of HaskellGolden Thumb | Stories & Code104 viewsView & Download
5:59Haskell for Imperative Programmers #2 - Functions, Types, let & wherePhilipp Hagenlocher159.1K viewsView & Download
10:22Intro to Lambda Calculus: Syntax, evaluation, terminology (compared to Haskell, Python, JavaScript)Adam Jones8.3K viewsView & Download
12:18Introduction to Functional Programming in Haskell: Episode 1- Lambda CalculusMadGen Videos11.0K viewsView & Download
16:48Linear-Lambda Calculus is Linear - A. Díaz-Caro & G. Dowek - FSCD 2022Alejandro Díaz-Caro87 viewsView & Download