COP 4555 --- Principles of Programming Languages Spring 2005

Geoffrey Smith

• ECS 320
• 305 348-6037
• E-mail: smithg @ cs.fiu.edu
• Office Hours: Mondays and Wednesdays, 2:00 -- 3:15
  I'll usually be happy to meet at other times. Send email, call, or drop by.

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

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

Homework Assignments

• Homework 1. Due Wednesday, January 26.
• Homework 2. Due Monday, February 14.
• Homework 3. Due Monday, February 28.
• Homework 4. Due Monday, March 28.
• Homework 5. Due Monday, April 11.
• Homework 6. Due Wednesday, April 20.

Course Resources

• Standard ML of New Jersey home page.
• SCS Computing Support provides UNIX documentation, including a UNIX tutorial.
• A Gentle Introduction to ML, an ML tutorial by Andrew Cumming of Napier University, Edinburgh.
• Programming in Standard ML, an excellent guide to all aspects of Standard ML by Robert Harper.
• Semantics with Applications: A Formal Introduction, by Hanne Riis Nielson and Flemming Nielson, includes a good discussions of natural semantics. (Mitchell's book does not cover this topic.)
• Supplementary reading material collects some interesting old papers related to programming languages.