UNB/ CS/ David Bremner/ teaching/ cs4613/ CS4613 Lectures

On this page, you will find slides and other materials presented in class. Most of these slides were originally based on some lecture notes by Eli Barzilay. Over the years they have mutated in various ways, most recently with some cosmetic changes to follow the 3rd edition of PLAI a bit better.

Mistakes are probably mine.

You can browse the examples directly or by tags.

conditionals lecture dynamic dispatch environments first class functions functions hygiene inheritance let1 lexical scope local binding macro memory safety objects parsing plait recursion scheme smol stacker static-types syntax-rules type-calculator type-checker type inference types values

Lecture 1: Introduction
Tue 07 Jan 2025 01:00:00 PM

Lecture 2: Parsing, Conditionals, Values
Thu 09 Jan 2025 01:00:00 PM

Lecture 3: local binding
Tue 14 Jan 2025 12:00:00 AM

Lecture 4: Functions
Thu 16 Jan 2025 12:00:00 AM

Lecture 5: macros
Tue 21 Jan 2025 12:00:00 AM

Lecture 6: objects
Thu 23 Jan 2025 12:00:00 AM

Lecture 7: more objects
Wed 29 Jan 2025 12:00:00 AM

Lecture 8: Static Typing
Thu 30 Jan 2025 12:00:00 AM

Lecture 10: type safety
Tue 04 Feb 2025 12:00:00 AM

Lecture 9: types II
Tue 04 Feb 2025 12:00:00 AM