The University of Birmingham - School of Computer Science
Principles of Programming Languages
Spring Semester 2009-10
Lecture Notes and Exercises
- Syntax.
- Lambda Calculus.
- Type systems
- Operational Semantics
- Computational Effects
- Revision
- Abstract Machines
Resources
- Historical development of Programming Languages
Staff Details
Professor Uday Reddy
Room 210
Tel: (+44) 121 414 2740
Email: U.S.Reddy 'at' cs.bham.ac.uk
Office hours: Mondays, 4:30-5:30pm, Tuesdays, 4:30-5:30pm
Teaching Assistant: Roly Perera
Room 145
Email: rnp 'at' cs.bham.ac.uk
Office hour: Tuesdays, 2:00-3:00pm
Lectures
Mondays, 10:00-10:50am, WG12 Aston Webb
Wednesdays, 11:00-11:50am, LT A, Watson Building
Exercise Class
Fridays, 11:00-11:50am, LT 3, Sports & Exercise Sciences