Adventure with Types in Haskell - Simon Peyton Jones (Lecture 2)

Recorded at Oregon Programming Languages Summer School 2013. Lecture 1 Slides: System F in GHC: Kinds and GADTs: Type Inference: