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

(57:57)

LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling

(52:24)

LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman

(36:6)

LambdaConf 2015 - Introducing Emily Simplifying Functional Programming Andi McClure

(25:17)

LambdaConf 2015 - Dynamic vs Static Having a Discussion without Sounding Like a Lunatic

(45:16)

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

(42:29)

LambdaConf 2015 - Why I Like Functional Programming Adelbert Chang

(50:9)

ElixirConf 2015 - Keynote by José Valim

(52:14)

Paul Phillips - The Axes of Abstraction - λC 2017

(46:54)

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

(48:12)

LambdaConf 2015 - LiquidHaskell Refinement Types for Haskell Ranjit Jhala

(1:42:46)

LambdaConf 2015 - Write Some Idris Brian McKenna

(1:45:43)

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

(50:29)

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

(58:54)

LambdaConf 2015 - In Rust We Trust Alex Burkhart

(45:2)

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

(1:33:37)

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

(57:40)

LambdaConf 2015 - Modeling Data in Haskell for Beginners Chris Allen

(1:38:30)

LambdaConf 2015 - Monads Asking the Right Question Pawel Szulc

(21:25)

LambdaConf 2015 - Join Us!

(31)

LambdaConf 2015 - The Virtual Filesystem This Changes Everything Paul Phillips

(51:46)

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 - The Case for the Cutting Edge Matt Farmer

(19:9)

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg

(1:20:21)

LambdaConf 2015 - HTTP through Functional Programming Andrew Cherry

(27:51)