Week Tuesday Thursday Friday
01

Jan 07

Course Overview

pdf ml

Jan 09

Introduction to OCaml

pdf ml

Jan 10

Assignment 0

(not graded)

02

Jan 14

(continued)

pdf ml

Jan 16

Datatypes

pdf ml

Jan 17 Mon Jan 20

Assignment 1

Due: 5:00pm

03

Jan 21

Recursion

pdf

Jan 23

Higher-Order Functions

pdf ml

Jan 24 Mon Jan 27

Assignment 2

Due: 5:00pm

04

Jan 28

(continued)

pdf

Jan 30

Environments

pdf ml

Jan 31

05

Feb 04

Polymorphism

pdf

Feb 06

Type Inference

pdf

Feb 07

Assignment 3

Due: 5:00pm

06

Feb 11

REVIEW SESSION

(practice exams below)

Feb 13

MIDTERM EXAM

(in class)

07

Feb 18

Records & References

pdf

Feb 20

Introduction to Scala

slides html scala

Feb 21

Assignment 4

Due: 5:00pm

08

Feb 25

(continued)

slides

Feb 27

Iteration & Recursion

slides html scala

Feb 28

09

Mar 04

Classes & Objects

slides html scala

Mar 06

Subtyping

slides html scala

Mar 07

Assignment 5

Due: 5:00pm

10

Mar 11

Generics & Implicits

slides html scala

Mar 13

CLASS CANCELED

Mar 14

Assignment 6

Due: 5:00pm

11

Mar 18

FINAL EXAM

11:30am – 2:30pm
Location: CENTR 214

practice exam material

acknowledgements

Much of the material in this course is based on previous offerings of the course from Ranjit Jhala and Sorin Lerner.