Links for programming-languages-lecture-notes-washington-cse341