Type systems in functional programming: With examples in Haskell and Idris - Thanate Dhinasakdanon
Ryan Orendorff & Daniel Hensley - Introduction to Linear Type Systems and Linear Haskell - λC 2018
Idris: General Purpose Programming with Dependent Types
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
What Haskell taught us when we were not looking! by Eric Torreborre
"Dependent Types in Haskell" by Stephanie Weirich
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Functional Programming Type Systems
"Hazel: A Live Functional Programming Environment with Typed Holes" by Cyrus Omar
Edwin Brady - Idris: Programming with Dependent Types
raichoo: Programming with dependent types in Idris
Introductory Talk About Dependent Types and Idris
Why I Don't Code in Haskell Anymore?
Dependent types implementation in Haskell (part 1)
Let's Talk About Functional Programming
Let's build a typesystem in Haskell!
Type-driven Development of Communicating Systems in Idris by Edwin Brady
What Haskell taught us when we were not looking - Eric Torreborre
Onorio Catenacci on Pattern Matching and Decomposition in Functional Programming Languages
Lambda Days 2018 - Clément Delafargue - TDD as in Type-Driven Development