Seminar in Programming Languages, Fall 2010

Administration

Instructor:

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

Times:

Wednesday, 14:00-16:00.

Place:

Education 463

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 is 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, courtesy of John C. Mitchell.

The book is available from the library, also as an e-book, and from Academon.

Grading will be based on:

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

Schedule

Presentation slides are copied with permission from here.

On some days (marked by an "*") we will meet for a double session, 12:00-16:00, in Education 570.

Announcements

October 18th, 2010

Tasks assigned.

October 12th, 2010

Schedule updated, presentation slides uploaded.

September 13th, 2010

Web site open. Syllabus available.