1:33:06Next-gen Haskell Compilation Techniques with Csaba HruskaBerlin Functional Programming GroupRecommended by 3 • 5 years agoHidden gem
1:57:53Deconstructing Lambdas—An Awkward Guide to Programming Without FunctionsBerlin Functional Programming GroupRecommended by 2 • 5 years agoHidden gem
45:30ATS: Why Linear Types are the Future of Systems ProgrammingBerlin Functional Programming GroupRecommended by 2 • 5 years agoHidden gem
1:26:32Alejandro Serrano Mena on Why Functors and Applicatives Compose but Monads Don'tBerlin Functional Programming GroupRecommended by 2 • 6 years agoHidden gem
1:46:10A Totally Non-Terrifying, Practical Introduction to Type-Level ProgrammingBerlin Functional Programming GroupRecommended by 2 • 6 years agoHidden gem
1:49:01John De Goes is Programming Without Type ClassesBerlin Functional Programming GroupRecommended by 2 • 5 years agoHidden gem
2:08:34Edwin Brady Tells Us What's New in Idris 2Berlin Functional Programming GroupRecommended by 2 • 6 years agoHidden gem
1:33:56Leverage the Power of Logic Programming With Souffle-haskellBerlin Functional Programming GroupRecommended by 1 • 5 years ago
1:32:13Richard Eisenberg on Simplifying Constraint Solving in GHCBerlin Functional Programming GroupRecommended by 1 • 5 years ago
