Robert Harper's Intro to Programming Languages (2016)

This is excellent as I was looking for seminar lectures to go with pfpl book, the oplss full list has Category Theory intro too https://www.cs.uoregon.edu/research/summerschool/summer16/cu...

text he's referring to can be found at

http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf