u/broccoli_logicin r/ProgrammingLanguages • Recommends
On “Video lectures of Types and Programming Languages”
Not Pierce, but Harper has some video lectures online that I'd highly recommend: [video
0:00 / 0:00
#typetheory#programminglanguagetheory#oplss
Programming Languages Background 1 - Robert Harper - OPLSS 2017
OPLSS
3.6K subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Robert Harper, Professor at Carnegie Mellon University
Advanced. Deep dive for people who know the field.
4.7K views9 years ago1 recommendation
Programming languagesComputer scienceComputation and complexityLanguage design and type systemsFunctional programming
Robert Harper introduces the foundational concepts of programming language theory and type systems at OPLSS 2017.
From the 2017 Oregon Programming Languages Summer SchoolWhy it's here
1 person recommends thisWhat people say. Highly recommended as an excellent set of video lectures on type systems and programming language theory.