Simon Peyton Jones: Lenses Compositional Data Access And Manipulation
Leslie Lamport: The TLA+ Video Course
Simon Peyton Jones: Adventure with Types in Haskell
Edward Kmett: Guanxi - Logic Programming in Haskel
SPJ: How GHC type inference engine actually works
Vitaly Bragilevsky: Type Theory Behind Glasgow Haskell Compiler Internals
Simon Marlow: Haxl - A Big Hammer for Concurrency
Jürgen Giesl:Functional Programming Lectures
SPJ: Functional Programming Languages and the Pursuit of Laziness
SPJ: A Quick Look at Impredicativity
SPJ: Linear Haskell: practical linearity in a higher-order polymorphic language
Haskell Love conference 2020
SPJ: Revisiting pattern match overlap checks in Haskell
Simon Marlow: How to Deploy your Haskell Code Hundreds of Times a Day
Philip Wadler: (Programming Languages) in Agda = Programming (Languages in Agda)
Edwin Brady: Dependent Types in the Idris Programming Language - OPLSS 2017
Scott Wlaschin: Functional programming design patterns
Simon Marlow: Desugaring Haskell's do Notation into Applicative Operations
Quchen: Low-level Haskell - An Interactive Tour Through the STG
Bartosz Milewski: Parallel and Concurrent Haskell