Syllabus

Extra-Credit Policy

Instructor: Dan Grossman,
,
Allen Center 556

(careful: the userid grossman belongs to someone else)

Office hours: Tuesday 2-3 + by appointment

TA: Anna Gringauze,
annagrin@cs,
Allen Center 362

Office hours: Wednesday 2:30-3:30 CSE218

Homework 1, due 16 October hw1.pdf
hw1.tar

Homework 2, due 27 October hw2.pdf
hw2.tar

Homework 3, due 10 November hw3.pdf
hw3.tar

Homework 4, due 28 November hw4.pdf
hw4.ml

Homework 5, due 8 December hw5.pdf
hw5.tar

1. Sep 28: Course Intro and Caml Tutorial

2. Oct 3: Caml Tutorial and Abstract Syntax

3. Oct 5: IMP Operational Semantics

4. Oct 10: Proofs Continued; IMP
Pseudo-Denotational Semantics code
classnotes

5. Oct 12: Little Trusted-Languages;
Equivalence full-proofs

6. Oct 17: Lambda Calculus; Lambda Encodings

7. Oct 19: Substitution; Simply-Typed Lambda Calculus

8. Oct 24: Type-Safety Continued; Extensions to STLC

9. Oct 26: More Extensions; Termination; Anonymous Types

10. Oct 31: Curry-Howard; Evaluation Contexts;
Abstract Machines code

X. Nov 2: Midterm

11. Nov 7: Introduction to polymorphism; Subtyping

12. Nov 9: Universally quantified types (parametric polymorphism)

13. Nov 14: Recursive types; Abstract types
code

14. Nov 16: Concurrency and Shared Memory
code

15. Nov 21: Concurrency and Message Passing
code

X. Nov 23: Thanksgiving

16. Nov 28: Class-Based OOP

17. Nov 30: Advanced Concepts in OOP

18. Dec 5: Bounded Polymorphism and Classless OOP

19. Dec 7: Summary and "Everything Else"

Our final:
unsolved
solved

Our midterm:
unsolved
solved

Sample finals:
Fall 05 unsolved
Fall 05 solved
Fall 03 unsolved
Fall 03 solved

Sample midterms:
Fall 05 unsolved
Fall 05 solved
Fall 03 unsolved
Fall 03 solved

Caml home page

The manual

The O'Reilly book (free)

Running Caml locally

Emacs mode: caml_emacs.tar.gz contains
exactly the code Dan uses. The Web may have more recent
stuff.

Join the course mailing list

Homework 0 ("due" October 4, worth 0 points)