CS 496/510 Principles of Programming Languages - Spring 2008

David A. Naumann

Instructor:

Dave Naumann with office hours Tuesday 3-5pm and by appointment.

Teaching Assistants:

Liu Yang (lyang at cs dot stevens dot edu), with office hours Wed 3-5 in Burchard 127; also Chunyu Tang (ctang at cs dot stevens dot edu) by appointment.

Prerequisite:

CS 590 and MA 502.

Meetings:

Tuesday 6:15-8:45PM, Babbio 104 (but Babbio 319 on Jan 29).

Required textbooks:

• Essentials of Programming Languages (EOPL) - 2nd ed., by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Publisher: MIT Press ISBN: 0-262-06217-8
• The Little Schemer - 4th Edition, by Daniel P. Friedman and Matthias Felleisen. Publisher: MIT Press ISBN 0-262-56099-2

Software:

We will use the DrScheme system which is available on the CS Lab machines and can be downloaded here for other platforms. Much of the code used in EOPL can be downloaded from the EOPL home page. In class I often use modified versions, which I will distribute in the Outline.

Mailing list:

All students are responsible for announcements made on the course email list (via WebCT). You are welcome to use this list to ask for clarifications about homework and to discuss other topics with your classmates, instructor, and TA.

Goals, policies, and detailed syllabus:

go to Objectives, Policies, or Outline.