1:13:00Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - UpdatedLambdaConfRecommended by 5 • 1 year ago
51:54Aaron Hsu - Do Programming Language Features Deliver on their PromisesLambdaConfRecommended by 3 • 1 year agoHidden gem
52:06Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017LambdaConfRecommended by 2 • 9 years agoHidden gem
1:40:55Chris Allen: A Haskell Guide for Working Stiffs - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
57:35Daniel Spiewak: Fun With Parsing - λC 2017 Winter RetreatLambdaConfRecommended by 1 • 9 years ago
1:46:41Scott Fleischman: Agda from Nothing: Order in the Types - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
1:32:03David Greenberg: Distributed functional programming - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
51:39TJ Usiyan: Functional Programming and Polymorphism basics in Swift - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
57:10Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
44:20Functional Programming: Failed Successfully by Alexander GraninLambdaConfRecommended by 1 • 2 years ago
1:03:51Gabriel Gonzales: Data science APIs in Haskell - λC Winter Retreat 2017LambdaConfRecommended by 1 • 9 years ago
56:35Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018LambdaConfRecommended by 1 • 7 years ago
21:15David Peter: Interactive Tests and Documentation via QuickCheck style Declarations - λC 2016LambdaConfRecommended by 1 • 10 years ago
31:47Dustin Getz - Electric Clojure Differential Dataflow for UI (KEYNOTE)LambdaConfRecommended by 1 • 1 year ago
25:43Steve Shogren: No, Really, Learning Clojure Was Hard - λC 2016LambdaConfRecommended by 1 • 2 years ago