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