Practical Haskell mini-course Testing Type-level Naturals Heterogenous data structures Universals/existentials and Typeable Finally tagless eDSL Generics and servant Performance and profiling
Types in programming languages Syntax & semantics Simply-typed lambda calculus Normalization. PCF ADTs and μ-recursive types System F System Fω Dependent types Pure type systems Type checking and co Catamorphisms Subtyping Existential types Other topics