LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years Chris Allen

(42:29)

LambdaConf 2015 - Modeling Data in Haskell for Beginners Chris Allen

(1:38:30)

LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes

(57:57)

LambdaConf 2015 - Introduction to Typed Racket Mark Farrell

(1:44:46)

LambdaConf 2015 - Intro to Cryptol and High Assurance Crypto Engineering Adam Foltzer

(1:34:15)

LambdaConf 2015 - The Virtual Filesystem This Changes Everything Paul Phillips

(51:46)

CppCon 2015: Arthur O'Dwyer “Lambdas from First Principles: A Whirlwind Tour of C++\

(58:54)

LambdaConf 2015 - Write Some Idris Brian McKenna

(1:45:43)

LambdaConf 2015 - In Rust We Trust Alex Burkhart

(45:2)

LambdaConf 2015 - Developing Web Applications with Haskell Alejandro Serrano Mena

(58:7)

Chris Allen - Why Johnny Can't Code Good - λC 2017

(48:12)

Curtis Yarvin: Urbit- A Clean Slate Functional Operating Stack - λC 2016

(1:9:59)

Adam McCullough - Monad Transformers for the Easily Confused - λC 2018

(50:29)

F(by) 2017. Michael Snoyman - What Makes Haskell Unique.

(42:18)

John A De Goes - Blazing Fast, Pure Effects without Monads - λC 2018

(57:40)

Gabriel Gonzales: Data science APIs in Haskell - λC Winter Retreat 2017

(1:3:51)

LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling

(52:24)

LambdaConf 2015 - Introducing Emily Simplifying Functional Programming Andi McClure

(25:17)

LambdaConf 2015 - Programs as Values Pure Composable Database Access in Scala Rob Norris

(29:56)

LambdaConf 2015 - Monads Asking the Right Question Pawel Szulc

(21:25)

LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman

(36:6)

LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev

(52:39)

LambdaConf 2015 - The Art of Program Derivation and Parallel Computation Gershom Bazerman

(1:36:31)

LambdaConf 2015 - Join Us!

(31)

LambdaConf 2015 - Why I Like Functional Programming Adelbert Chang

(50:9)

LambdaConf 2015 - Introduction to Constraint Logic Programming Sergii Dymchenko

(1:24:6)

LambdaConf 2015 - A Skeptic's Look at Scalaz Gateway Drugs Brendan McAdams

(28:44)