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 <a href="https:&#x2F;&#x2F;www.cs.uoregon.edu&#x2F;research&#x2F;summerschool&#x2F;summer16&#x2F;curriculum.php" rel="nofollow">https:&#x2F;&#x2F;www.cs.uoregon.edu&#x2F;research&#x2F;summerschool&#x2F;summer16&#x2F;cu...</a>

text he&#x27;s referring to can be found at<p><a href="http:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~rwh&#x2F;pfpl&#x2F;2nded.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~rwh&#x2F;pfpl&#x2F;2nded.pdf</a>