Lectures

• The chapters from Michael Scott's Programming Language Pragmatics (5th ed.) corresponding to the topics covered in class, are also mentioned (wherever applicable).

• The slides are uploaded on a per-topic basis, and one set may be covered in multiple lectures.

• Stony Brook University single sign-on (i.e., SBU NetID) is needed to access the slides

The likely topics covered in this course are listed here.

• Aug.25.    Introduction to the course and an overview of a few programming paradigms (Scott: Ch. 1)    [ slides | slides ]

• Aug.27.    Introduction to Lambda calculus (Scott: Ch. 3, Ch. 11)    [ slides (1 - 8) ]

• Sep.01.    Labor Day (Holiday)

• Sep.03.    Introduction to Lambda calculus (Scott: Ch. 3, Ch. 11)    [ slides (10 - 27) ]

• Sep.08.    Scopes, bindings, and shadowing (Scott: Ch. 3, Ch. 11)   [ slides ]