Simon Marlow: How to Deploy your Haskell Code Hundreds of Times a Day
SPJ: Linear Haskell: practical linearity in a higher-order polymorphic language
Simon Peyton Jones: Adventure with Types in Haskell
SPJ: A Quick Look at Impredicativity
SPJ: Revisiting pattern match overlap checks in Haskell
Simon Peyton Jones: Lenses Compositional Data Access And Manipulation
Haskell Love conference 2020
SPJ: How GHC type inference engine actually works
Bartosz Milewski: Parallel and Concurrent Haskell
Quchen: Low-level Haskell - An Interactive Tour Through the STG
Simon Marlow: Desugaring Haskell's do Notation into Applicative Operations
SPJ: Compiling without Continuations
Ryan Newton: Haskell taketh away, limiting side effects for parallel programming
Jürgen Giesl：Functional Programming Lectures
Edward Kmett: Guanxi - Logic Programming in Haskel
SPJ: A reflection on types
Edsger W. Dijkstra on Dutch TV
Philip Wadler: Category Theory for the Working Hacker
Leslie Lamport: The TLA+ Video Course
SPJ: Revisiting Pattern Match Overlap Checks
