Schedule

subject to change!

Event

Date

Description

Course Material
Lecture

09/27/2024
Friday

Course overview
[slides] [handout]
Lecture

09/30/2024
Monday

Lambda calculus
[slides] [handout] [demo]
Lecture

10/02/2024
Wednesday

continued
Lecture

10/04/2024
Friday

continued
Lecture

10/07/2024
Monday

continued
Lecture

10/09/2024
Wednesday

Introduction to Haskell
[slides] [handout]
Lecture

10/11/2024
Friday

Datatypes and Recursion
[slides] [handout]
Lecture

10/14/2024
Monday

D&R continued
Lecture

10/16/2024
Wednesday

D&R continued
Lecture

10/18/2024
Friday

TBD (Prof. Arden out of town)
Lecture

10/21/2024
Monday

Higher-order functions
[slides] [handout]
Lecture

10/23/2024
Wednesday

Higher-order functions continued
Lecture

10/25/2024
Friday

Typeclasses
[slides] [handout]
Lecture

10/28/2024
Monday

Typeclasses continued
Lecture

10/30/2024
Wednesday

Midterm review
Lecture

11/01/2024
Friday

Midterm
Lecture

11/04/2024
Monday

Environments and closures
[slides] [handout]
Lecture

11/06/2024
Wednesday

Environments continued
Lecture

11/08/2024
Friday

Theorems about programs
[slides] [handout]
Holiday

11/11/2024
Monday

Veterans Day
Lecture

11/13/2024
Wednesday

Theorems continued
Lecture

11/15/2024
Friday

Theorems continued
Lecture

11/18/2024
Monday

Theorems continued
Lecture

11/20/2024
Wednesday

Polymorphism and type inference
[slides] [handout]
Lecture

11/22/2024
Friday

Types continued
Lecture

11/25/2024
Monday

Types continued
Lecture

11/27/2024
Wednesday

Types continued
Holiday

11/28/2024
Thursday

Thanksgiving
Holiday

11/29/2024
Friday

Day After Thanksgiving
Lecture

12/02/2024
Monday

Monads
[slides] [handout]
Lecture

12/04/2024
Wednesday

TBD
Lecture

12/06/2024
Friday

Final review