CS 329 Principles of Programming Languages PoPL 2007  (July-Nov 2007)
offered by R. K. Joshi

Slides of first few lectures


Lecture 1 and 2: Overview of PoPL course, evaluation scheme,
about the lab model (intime model: complete the labs during the alloted lab hours),
some basic ideas in programming languages and motivation for the course.

lecture on basic ideas on types as sets and some composite types: Use this for today's lab First version

lecture on composite types and subtyping Last Revised: Aug 6, 4:30 pm

lectures on function subtypes, overloading, coercion, top and bottom types Updated Aug 10, 1:20 pm

lectures on subtyping in object orientation First version

lectures on OOPL implementation First version

lectures on variables and bindings (includes pointers) First version

some java programs which were shown during class are available here

We don't have slides for the rest of the course

The Lab Page is here


Textbook

David Watt, Programming Language Design Concepts


Additional Readings mentioned so far are from below references

(book) Stroustrup, C++ Annotated Reference Manual 
(book) Pierce, Types in Programming Languages 
(paper) Luca Cardelli, Peter Wegner, On Understanding Types, Data Abstraction, and Polymorphism