The course is an introduction to the research area of programming languages. It covers basic techniques for modeling and implementing the essence of programming languages. It also explains the "why" of programming language research, mostly via connections to software engineering.