3 ms·
Robert Harper's Intro to Programming Languages (2016)
- wmacmil 10y agotext he's referring to can be found at http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf
- hackermailman 10y agoThis 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/curriculum.php https://www.cs.uoregon.edu/research/summerschool/summer16/cu...