Lectures

This page gives highlights of past lectures and provides lecture notes, reading assignments, and exercises.

Chapters and sections in the readings are from the textbook, unless specified otherwise.

Topic 00 - Course introduction and overview

28 Mar

Course overview: Slides

28 Mar

Course introduction: Slides,; Grading policy

Topic 01 - SML introduction

30 Mar

SML introduction: Old recorded lecture

04 Apr

Pattern matching in SML: Old recorded lecture

06 Apr

Algebraic datatypes in SML: Old recorded lecture

11 Apr

Polymorphism: Old recorded lecture

13 Apr

Higher-order functions: Old recorded lecture

Topic 02 - Syntax and semantics of programming languages

18, 20 Apr

Syntax and semantics: Old recorded lecture

25 Apr

Binding and scopes: Old recorded lecture

27 Apr

Closures: Old recorded lecture

02 May

Formal semantics: Operational semantics: Old recorded lecture

04 May

Program equivalence as SMT

09 May

Formal semantics: Lambda calculus: Old recorded lecture

11 May

Formal languages

16 May

Tutorial for Project 1

18 May

Exam 1

Topic 03 - Implementing programming languages

23 May

Introduction to Python: Pre-recorded lecture 1 (by Prof. Fernando Pereira); Pre-recorded lecture 2 (by Prof. Fernando Pereira)

25, 30 May

Memory management: Old recorded lectures

01 Jun

Abstraction and Abstract Data Types: Old recorded lecture

06 Jun

Object Orientation: Old recorded lectures

08 Jun

Error Handling: Old recorded lectures

13, 15 Jun

Parameter passing: Old recorded lectures

20 Jun

Tutorial for Project 2

Topic 04 - Logic programming

22 Jun

Introduction to Prolog: Old recorded lecture

27 Jun

Unification and Resolution: Old recorded lecture

29 Jun

Numeric predicates: Old recorded lecture

Extra

Problem solving with Prolog: Pre-recorded lecture

04 Jul

Exam 2