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. If you are a faculty and want to use the book in your lecture, we politely ask you to introduce the authors and this webpage to your students. We would be delighted to receive comments and corrections, which may be sent to [email protected].