Princeton University Computer Science Department

Computer Science 441 Programming Languages David Walker

Fall 2008

Course Summary

How to design and analyze programming languages and how to use them effectively. Functional programming languages, object-oriented languages; type systems, abstraction mechanisms, operational semantics, safety and security guarantees.

Administrative Information

Lectures: MWF 1000-1050, Room: TBD

Professor: David Walker - 412 CS Building - 258-7654 dpw@cs.princeton.edu

Undergraduate Coordinator: Donna O'Leary - 410 CS Building - 258-1746 doleary@cs.princeton.edu

Teaching Assistants: TBA