COP 4555 --- Principles of Programming Languages

Spring 2005

Geoffrey Smith

Concepts in Programming Languages by John C. Mitchell.

Elements of ML Programming (ML97 Edition) by Jeffrey D. Ullman.

Course Syllabus

Final Exam

The final exam will be given on Monday, April 25, from 3:30 until 6:15.

The course summary presented today is here.

Reading Assignments

Jan. 10Mitchell 1, 2, 3, 4.1
Jan. 19Mitchell 4.2, 4.3, 4.4, 4.5, SCS UNIX Tutorial
Jan. 24Mitchell 5
Jan. 31Mitchell 5
Feb. 7Mitchell 6
Feb. 14Notes on SML97's Value Restriction
Feb. 21Notes on SML97's Value Restriction
Feb. 28Object-oriented example
Mar. 7Review for midterm exam
Mar. 14Nielson 1, 2
Mar. 28Mitchell 7, 8
Apr. 4Mitchell 9, 10
Apr. 11Mitchell 13

Homework Assignments

Course Resources

We will be running Standard ML of New Jersey on the SPARC server, which runs UNIX. You can connect to weasel via any of the Windows machines in the JCCL by using Xwin32, or you can dial up using ssh.

Back to Geoffrey Smith's home page.