Jürgen Giesl：Functional Programming Lectures
SPJ: Functional Programming Languages and the Pursuit of Laziness
Edward Kmett: Guanxi - Logic Programming in Haskel
SPJ: A reflection on types
SPJ: A Quick Look at Impredicativity
Haskell Love conference 2020
Vitaly Bragilevsky: Type Theory Behind Glasgow Haskell Compiler Internals
Philip Wadler: (Programming Languages) in Agda = Programming (Languages in Agda)
Simon Peyton Jones: Lenses Compositional Data Access And Manipulation
SPJ: Revisiting pattern match overlap checks in Haskell
SPJ: Compiling without Continuations
Simon Marlow: High performance concurrency, Haskell eXchange 2012
Ryan Newton: Haskell taketh away, limiting side effects for parallel programming
SPJ: Linear Haskell: practical linearity in a higher-order polymorphic language
Bartosz Milewski: Arrows are strong profunctors
Edwin Brady: Dependent Types in the Idris Programming Language - OPLSS 2017
SPJ: Revisiting Pattern Match Overlap Checks
Simon Peyton Jones: Adventure with Types in Haskell
Simon Marlow: Haxl - Making Concurrency Unreasonably Easy, BTD10
SPJ: How GHC type inference engine actually works
