| title | headerImg |
|---|---|
Lecture Notes |
books.jpg |
Lecture schedule is subject to change!
| Date | Topic | Notes | Code |
|---|---|---|---|
| 1/7 | Hello, World! | html | |
| 1/9 | The Lambda Calculus | html | |
| 1/11 | contd. | ||
| 1/14 | contd. | ||
| 1/16 | contd. | ||
| 1/18 | contd. | ||
| 1/21 | No lecture: MLK Day | ||
| 1/23 | A crash course in Haskell | html | |
| 1/25 | contd. | ||
| 1/28 | contd. | ||
| 1/30 | Datatypes and Recursion | html | |
| 1/1 | contd. | ||
| 2/4 | contd. | ||
| 2/6 | Higher Order Functions | html | |
| 2/8 | contd. | ||
| 2/11 | Midterm | exam solution | |
| 2/13 | Environments and Closures | html | |
| 2/15 | contd. | ||
| 2/18 | No lecture: Presidents' Day | ||
| 2/20 | contd. | ||
| 2/22 | contd. | ||
| 2/25 | Lexing and Parsing | html tutorial | |
| 2/27 | Polymorphism and Type Inference | html | |
| 3/1 | contd. | ||
| 3/4 | contd. | ||
| 3/6 | Logic Programming | html | |
| 3/8 | contd. | ||
| 3/11 | contd. | ||
| 3/13 | contd. | ||
| 3/15 | contd. | ||
| 3/22 | Final |
| Date | Topic | Slides |
|---|---|---|
| 1/14 | Lambda Calculus | |
| 2/25 | Nano: Parsing and Eval | |
| 3/4 | Type checking tips | |
| 3/11 | Final Review |