CS263: Design of Programming Languages

Spring 1997

Instructor: Martín Abadi
Time: MF 10:30-12:00
Location: Soda Hall room 405

General course information

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.




Martín Abadi