Lecture Notes

Last updated 1/4/2003.

These are PowerPoint slides for each chapter of the book. Please email me with any defects you find.

All PowerPoint slide sets, zipped
Chapter 1: Programming Languages
Chapter 2: Defining Program Syntax
Chapter 3: Where Syntax Meets Semantics
Chapter 4: Language Systems
Chapter 5: A First Look At ML
Chapter 6: Types
Chapter 7: A Second Look At ML
Chapter 8: Polymorphism
Chapter 9: A Third Look At ML
Chapter 10: Scope
Chapter 11: A Fourth Look A ML
Chapter 12: Memory Locations For Variables
Chapter 13: A First Look At Java
Chapter 14: Memory Management
Chapter 15: A Second Look At Java
Chapter 16: Object Orientation
Chapter 17: A Third Look At Java
Chapter 18: Parameters
Chapter 19: A First Look At Prolog
Chapter 20: A Second Look At Prolog
Chapter 21: Cost Models
Chapter 22: A Third Look At Prolog
Chapter 23: Formal Semantics
Chapter 24: The History of Programming Languages

The slides can also be retrieved as pdf files.

All pdf slide sets, zipped
Chapter 1: Programming Languages
Chapter 2: Defining Program Syntax
Chapter 3: Where Syntax Meets Semantics
Chapter 4: Language Systems
Chapter 5: A First Look At ML
Chapter 6: Types
Chapter 7: A Second Look At ML
Chapter 8: Polymorphism
Chapter 9: A Third Look At ML
Chapter 10: Scope
Chapter 11: A Fourth Look A ML
Chapter 12: Memory Locations For Variables
Chapter 13: A First Look At Java
Chapter 14: Memory Management
Chapter 15: A Second Look At Java
Chapter 16: Object Orientation
Chapter 17: A Third Look At Java
Chapter 18: Parameters
Chapter 19: A First Look At Prolog
Chapter 20: A Second Look At Prolog
Chapter 21: Cost Models
Chapter 22: A Third Look At Prolog
Chapter 23: Formal Semantics
Chapter 24: The History of Programming Languages