27:34Refactoring a lambda calculus interpreter into a stack machine, in HaskellPhil Freeman1.2K viewsView & Download
1:52:33Module 4 - Lambda Calculus Semantics and Tutorial 1 on HaskellSoumen Paul221 viewsView & Download
2:59Code Review: Meta-circular interpreter for lambda calculus in HaskellRoel Van de Paar15 viewsView & Download
1:01:25Ben Lynn on "MacGyver's Haskell Compiler" @ZuriHac2023OST – Ostschweizer Fachhochschule2.8K viewsView & Download
1:14:19Type-level evaluation models in Haskell (English talk)Aleksandr Granin186 viewsView & Download
1:50:11Haskell Study Group: An introduction to the Lambda CalculusAtlanta Functional Programming1.4K viewsView & Download