Reading materials for programming language theory - View it on GitHub