Introduction to Programming Languages
Download the latest edition of the book The book Introduction to Programming Languages is an introductory book on programming languages. We, Jaemin Hong and Sukyoung Ryu, write this book as the textbook of the KAIST Programming Languages course. However, we do not limit the use of the book; we would be happy to see the book being used by anyone who wants to learn or teach basic programming language concepts, including syntax, semantics, type systems, and interpreter/type-checker implementations