How to design and analyze programming languages and how to use them
effectively. Functional programming languages, type systems, abstraction mechanisms, operational semantics,
safety and security guarantees.
For more information, see the course home page at: |
Fall11
Lectures: Monday,Wednesday,Friday, 1000-1050
|