UNB/ CS/ David Bremner/ teaching/ cs3613/ CS3613 Lectures

On this page, you will find slides and other materials presented in class. Most of these slides are based on some lecture notes by Eli Barzilay. Mistakes are probably mine.

You can browse the examples directly or by tags.

algebraic data types anonymous functions continuations lecture de Bruijn dynamic scope ebnf environments eval first class functions flang fun functions garbage collection lambda lazy lexical scope memory management mutation parsing plai plait ragg recursion reference counting scheme scope substitution substitution cache type inference type soundness types user defined types y-combinator

Lecture 0
Mon 07 Jan 2019 12:00:00 AM AST

Lecture 1
Mon 14 Jan 2019 12:00:00 AM AST

Lecture 2
Wed 16 Jan 2019 12:00:00 AM AST

Lecture 3
Tue 22 Jan 2019 12:00:00 AM AST

Lecture 4
Thu 24 Jan 2019 12:00:00 AM AST

Lecture 5
Mon 28 Jan 2019 12:00:00 AM AST

Lecture 6
Fri 01 Feb 2019 12:00:00 AM AST

Lecture 7
Tue 05 Feb 2019 12:00:00 AM AST

Lecture 8
Tue 12 Feb 2019 12:00:00 AM AST

Lecture 9
Thu 14 Feb 2019 12:00:00 AM AST

Lecture 10
Tue 19 Feb 2019 12:00:00 AM AST

Lecture 11
Sat 02 Mar 2019 12:00:00 AM AST

Lecture 12
Mon 11 Mar 2019 12:00:00 AM ADT

Lecture 13
Tue 12 Mar 2019 12:00:00 AM ADT

Lecture 14
Thu 14 Mar 2019 12:00:00 AM ADT

Lecture 15
Thu 21 Mar 2019 12:00:00 AM ADT

Lecture 16
Tue 26 Mar 2019 12:00:00 AM ADT

Lecture 17
Tue 02 Apr 2019 12:00:00 AM ADT

Lecture 18
Thu 04 Apr 2019 12:00:00 AM ADT

Lecture 19
Tue 09 Apr 2019 12:00:00 AM ADT