"Dependent Types in Haskell" by Stephanie Weirich
33:40
"Hackett: a metaprogrammable Haskell" by Alexis King
38:36
"A Little Taste of Dependent Types" by David Christiansen
45:07
Depending on Types - Stephanie Weirich
29:10
What are dependent types? aka the Calculus of Construction (as a type wizard)
48:34
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
35:08
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
2:03:05
Dependent Types with David Christiansen – Functional Futures
1:04:16