1. 10
    Technical Lectures on Programming Languages and Logic [2012] compsci cs.uoregon.edu
    jozefg avatar via jozefg 3 years ago | cached | 2 comments

  1.  

  2. 2
    puffnfresh avatar puffnfresh 3 years ago | link

    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
      BruceM avatar BruceM 3 years ago | link

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