1. 10
  1.  

  2. 2

    Some more related videos from the University of Oregon: https://www.cs.uoregon.edu/research/summerschool/summer13/curriculum.html

    I particularly liked Stephanie Weirich’s videos on “Designing Dependently-Typed Programming Languages”

    1. 1

      This should have 2012 in the title as other years (or perhaps one year?) have been posted before…