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

19 Aug

Course introduction: ERE,; Grading,; Recorded lecture

19 Aug

Course overview: Slides,; Pre-recorded lecture

Topic 01 - SML introduction

19 May

SML introduction: Pre-recorded lecture

24 May

Pattern matching in SML: Pre-recorded lecture

26 May

Algebraic datatypes in SML: Pre-recorded lecture

Q&A: Recording

31 May

Polymorphism: Pre-recorded lecture

02 Jun

Higher-order functions: Pre-recorded lecture

02 Jun

Practical session and Q&A: Recording

Topic 02 - Syntax and semantics of programming languages

07, 09 Jun

Syntax and semantics: Pre-recorded lecture

Q&A: Recording

14, 16 Jun

Formal semantics: Pre-recorded lecture: Operational semantics; Pre-recorded lecture: Lambda calculus

Practical session and Q&A: Recording

21 Jun

Binding and scopes: Pre-recorded lecture

23 Jun

Closures: Pre-recorded lecture

Q&A: Recording

28 Jun

Q&A: Recording

Topic 03 - Implementing programming languages

05 Jul

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

07 Jul

Tutorial for ML parser: Lecture

12, 14 Jul

Memory management: Pre-recorded lectures

19 Jul

Abstraction and Abstract Data Types: Pre-recorded lectures

21 Jul

Object Orientation: Pre-recorded lectures

Q&A: Recording

26 Jul

Error Handling: Pre-recorded lectures

Project 1 Q&A: Recording

28 Jul, 02 Aug

Parameter passing: Pre-recorded lectures

04 Aug

Q&A

Topic 04 - Logic programming

09 Aug

Introduction to Prolog: Pre-recorded lecture

11 Aug

Unification and Resolution: Pre-recorded lecture

11 Aug

Roadmap for second part of the project: Lecture

16 Aug

Numeric predicates: Pre-recorded lecture

18 Aug

Problem solving with Prolog: Pre-recorded lecture

23 Aug

Q&A: Recording