Simon Peyton Jones: Adventure with Types in Haskell
Simon Marlow: High performance concurrency, Haskell eXchange 2012
Simon Marlow: Haxl - Making Concurrency Unreasonably Easy, BTD10
Simon Marlow: How to Deploy your Haskell Code Hundreds of Times a Day
Simon Marlow: Fun with Haxl, Haskell eXchange 2015
Simon Marlow: Haxl - A Big Hammer for Concurrency
Simon Marlow: The Haxl Project at Facebook
Haskell Love conference 2020
Vitaly Bragilevsky: Type Theory Behind Glasgow Haskell Compiler Internals
Simon Marlow: Abstraction for Efficient, Concurrent, Concise
SPJ: A reflection on types
SPJ: Compiling without Continuations
Simon Marlow: Desugaring Haskell's do Notation into Applicative Operations
SPJ: A Quick Look at Impredicativity
SPJ: Linear Haskell: practical linearity in a higher-order polymorphic language
SPJ: Revisiting pattern match overlap checks in Haskell
Jürgen Giesl：Functional Programming Lectures
Bartosz Milewski: Arrows are strong profunctors
Scott Wlaschin: Functional programming design patterns
SPJ: Functional Programming Languages and the Pursuit of Laziness
