https://people.csail.mit.edu/rachit/post/why-study-programming-languages/ https://steshaw.org/plt/ https://cs.lmu.edu/~ray/notes/languagetheory/ https://mpc.sh/blog/a-gentle-intro-to-plt https://en.wikibooks.org/wiki/Introduction_to_Programming_Languages