Links for foundations-of-programming-languages-lecture-notes-cmu-15-312