Video: Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

Recorded at Oregon Programming Languages Summer School 2013. https://www.cs.uoregon.edu/research/summerschool/summer13/curriculum.html

Lecture 1 Slides: https://www.cs.uoregon.edu/research/summerschool/summer13/lectures/ClassesJimOPLSS.pdf System F in GHC: https://www.cs.uoregon.edu/research/summerschool/summer13/lectures/FC_in_GHC_July13.pdf Kinds and GADTs: https://www.cs.uoregon.edu/research/summerschool/summer13/lectures/Kinds_and_GADTs.pdf Type Inference: https://www.cs.uoregon.edu/research/summerschool/summer13/lectures/Type_inference.pdf Fun with Type Functions: https://www.cs.uoregon.edu/research/summerschool/summer13/lectures/FunWithTypeFuns.pdf