1:15:25Stephanie Weirich: "Strongly Typed System F in GHC"Chalmers Functional Programming Seminar Series4.7K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia904 viewsView & Download
40:25[PurPL Fest] A Dependently-Typed Core Calculus for GHC - Stephanie WeirichPurPL100 viewsView & Download
58:44Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017LambdaConf11.9K viewsView & Download
27:34Refactoring a lambda calculus interpreter into a stack machine, in HaskellPhil Freeman1.2K viewsView & Download
1:55:342020-04-03 Colab Intro to lambda calculus & the Scott-Curry undecidability theoremDivvyDAO: Colab, RChain, DigLife,63 viewsView & Download
1:03:01Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2 - λC 2017LambdaConf831 viewsView & Download