Principles of Programming Languages (Com S 342)

This page gives access to information about the course offerings of ``Principles of Programming Languages'' as taught (in Fall 1999) by Gary T. Leavens for the Department of Computer Science at Iowa State University.

This page gives information on an old offering of the course, as taught in Fall 1999.

Information is available under the following headings.

• Overview
• Course Description
• Administrative Information
• Prerequisites
• Objectives
• Textbooks
• Syllabus
• Acknowledgements
• Material on other offerings of the course based on:
  • Essentials of Programming Languages taught, in Fall 2000, at the University of Iowa,
  • Essentials of Programming Languages in Fall 1995, Spring 1996, Fall 1997, Fall 1998, Spring 1999,
  • Programming Languages: An Interpreter-Based Approach in Spring 1991 and Spring 1992,
  • Principles of Programming Languages in Spring 1989 and Spring 1990.

Also available (some only locally) are the following.

• old homeworks.
• old tests (in postscript form).
• The lecture notes directory.
• The old course library.
• Locally cached documentation on Scheme including:
  • How to run Scheme at Iowa State
  • Revised(5) Report on the Algorithmic Language Scheme,
  • The Scheme Programming Language, Second Edition, by R. Kent Dybvig. Prentice Hall, 1996.
  • Chez Scheme User's Guide, by R. Kent Dybvig, 1998.
  • SCM documentation including: SCM, and slib.
• Download the Java Development Kit (JDK) version 1.2 from the JavaSoft web site.
• How to run Java at Iowa State.
• Documentation for JDK 1.1.
• Get Cygwin GNU software (bash, etc.) for your home (Windows) PC and also get GNU emacs for Windows.
• Where to find more about Java.
• Detailed information about the course. This includes:
  • old course policies
  • old staff office hours
  • Debugging aids for Chez Scheme and How to read Chez Scheme's Error Messages
  • Debugging aids for SCM and How to Read SCM's Error Messages.
  • the reserve list
  • the type notation used in the course.
• Sources for the textbook.
• errata for the textbook.
• Fabric-painted T-shirts I have used in this course.
• Other programming language related links.
• The Schemers Web Page
• Functional programming in the real world by Phil Wadler.