Note for Principles of Programming Languages - PoPL By JNTU Heroes