DESCRIPTION:
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