Schedule

Tue Jan 16

Inclement Weather

Thu Jan 18

What is an interpreter?

Tue Jan 23

From Haskell to Racket - I

Thu Jan 25

From Haskell to Racket - II

Tue Jan 30

A Language of Numbers

Thu Feb 1

Calculating Numbers

Tue Feb 6

Formal Semantics

Assignment 1 due (2/4)

Thu Feb 8

A language of conditions

Tue Feb 13

Handling errors

Thu Feb 15

Handling errors / Local bindings

Tue Feb 20

Local bindings

Thu Feb 22

Local bindings / Functions

Assignment 2 due (2/20)

Tue Feb 27

Functions

Thu Feb 29

Lambda

Tue Mar 5

Midterm Review

Thu Mar 7

Midterm

Tue Mar 12

Spring Break

Thu Mar 14

Spring Break

Tue Mar 19

First-class Functions

Thu Mar 21

Lambda Calculus

Tue Mar 26

Midterm discussion and Lambda Calculus (cont.)

Thu Mar 28

Programs as Data Structures

Tue Apr 2

Mutation and State - I

Assignment 3 due (4/2)

Thu Apr 4

Mutation and State - II

Tue Apr 9

Types - I

Thu Apr 11

Types - II

Tue Apr 16

Types - III

Thu Apr 18

Types - IV

Tue Apr 23

Type Inference

Assignment 4 due (4/23)

Thu Apr 25

Objects

Tue Apr 30

Static Analysis

Thu May 2

Conclusion

Assignment 5 due (5/2)

Wed May 8

Final

7:30am