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