This is a graduate-level course on the design and analysis of programming languages. The course covers some basic notions that are relevant to a wide range of languages, like parameter-passing mechanisms, higher-order functions, type soundness, and formal semantics. The main emphasis of the course is on object-oriented languages and their features; in particular, we will consider objects, dynamic dispatch, object types, subtyping, classes, and inheritance.