Seminar in Programming Languages, Spring 2005/06

Administration

Instructor:

Shuly Wintner, shuly@cs.haifa.ac.il. Office hours: Wednesday 12:00-13:00, Jacobs 403. Phone: (828)8180.

Times:

Wednesday, 16:00-18:00.

Place:

Education 408.

Prerequisites:

Programming experience and mathematical maturity. The ideal programming experience is practical exposure to several different programming languages. The ideal mathematical background is knowledge of mathematical logic, induction and algebra. None of these prerequisites are strict. However, your desire to be exposed to this material is very important.

Credit:

2 credits.

Content

We will read the book Concepts in Programming Languages, by John C. Mitchell. Each session will be dedicated to one chapter of the book. All students are required to read each chapter before the session in which it is discussed. Each session will be moderated by one of the students, who will guide us through the chapter, present the material and answer any questions and problems that may arise. Presentation slides are available (use 2004 slides).

Grading will be based on:

• Comprehension and preparation of the chapter you are responsible for
• Preparation for other sessions
• Contribution to class discussion.

Announcements

March 6th, 2006

No session on Wednesday, April 5th. Instead, we will meet on Wednesday, March 22, from 14:00 to 18:00 (two sessions in a row).

February 20th, 2006

Web site open. Syllabus available.