523 B
523 B
Homeworks
Homework 1, due January 30 at 5:00pm
Intoduction to OCaml.
Graded out of 100 points.
Homework 2, due February 17 at 5:00pm
Working with higher order function
Graded out of 71 points.
Homework 3, due March 1 at noon.
Inductive proofs of programs
Graded out of 70 points.
Homework 4, due March 22 at 5:00pm
Programs as data.
Graded out of 100 points.
Homework 5
Lazy evaluation
Not yet graded.
Homework 6
Search
No yet out.
Homework 7
Modules
Not yet out.