If you have comments or suggestions, send email to
elkan@cs.ucsd.edu.
Lectures are on Tuesdays and Thursdays from 11:10am to 12:30pm in Warren Lecture Hall room 2111.
For information on the APE computer lab in room APM 6426, see here.
For additional general information on the course and on using the ML programming language, see here.
January 6
January 8
January 13
January 15
January 20
January 27
January 29
February 3
February 5
February 10
February 12
February 17
February 19
February 24
February 26
March 3
March 5
This schedule shows which pair of students is responsible for grading each assignment. The same document contains guidelines for doing the grading.
Here are important notes on technical writing.
Assignment 1, due January 13.
Sample solution.
Assignment 2, due January 20.
Sample solution.
For information on Russell's paradox and primitive and general
recursion, see these
notes
by David Matuszek.
REVISED
Assignment 3, due January 27.
Sample solution.
Assignment 4, due February 3.
Sample solution.
Assignment 5, due February 10.
Sample solution.
Assignment 6, due February 17.
Sample solution.
Assignment 7, due February 24.
Sample solution.
Assignment 8, due March 3.
Sample solution.
Assignment 9, due March 12.
Here is the Standard ML
home page.
The Fox
project at CMU "includes theoretical studies of programming languages
and their properties, development of new compiler and run-time
technology, and empirical studies of the application of [ML and] advanced
language techniques to real-world programming problems, especially in
the areas of high-performance networks and operating systems."
New York Times article
on the Ariane 5 failure.
Official report
on the Ariane 5 failure.
