Recommended Sources of Class Help
- Your study group
- Newsgroup: upenn.cis.cis500
- Recitations.
- Office hours.
- The CIS 500 websites from Fall 2003 and Fall2002.
Lecture Notes
Note: not every class will have accompanying notes.
- Sept 8 - Introduction (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 13 - Induction; Operational Semantics (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 15 - More Induction (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 20 - Functional Programming in OCaml (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 23 - More OCaml (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 27 - Untyped Lambda Calculus (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Sept 29 - More Lambda Calculus (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Oct 4 - Types (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Oct 6 - Simply Typed Lambda Calculus (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Oct 18 - More Simply Typed Lambda Calculus (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Oct 20 & 27 - Extensions of Simply Typed Lambda Calculus (4-up for printing: PDF, PS; 1-up for viewing: PDF, PS).
- Nov 1 & 4 - References (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Nov 8 - Exceptions (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Nov 10 - Subtyping (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Nov 22 - More Subtyping (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Nov 24 - Metatheory of Subtyping (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Nov 29 - Object encodings (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
- Dec 1 & 6 - Featherweight Java (4-up for printing: PDF, PS. 1-up for viewing: PDF, PS).
Exams
- Midterm 1 from 2003
- Additional review questions for Midterm 1
(with answers)
ignore questions on nameless representations - Midterm 1 answers
- Midterm 2 from 2002
- Midterm 2 from 2003
- Midterm 2 answers
- Final exam from 2002
- Final exam from 2003
- Final exam answers
OCaml Help
A tutorial on getting started with OCaml on SEAS systems.
Jason Hickey's An Introduction to the Objective Caml Language gives a gentle introduction to OCaml.
A guide to O'Caml style.
The OCaml homepage is a valuable resource. Some particularly helpful pages there:
- Frequently asked questions (especially the beginner section)
- Objective Caml manual
If you use the Mozilla or Firebird browsers you may find MozCaml useful when browsing the manual.
Typesetting Help
We will require that you submit homework electronically in ASCII, Postscript or PDF format. If you would like to typeset your homework, this LaTeX Tutorial (PDF, PostScript) may help you get started. We highly recommend taking the time to learn LaTeX to write up your assignments. (It is required for at least one of the core classes in the Spring, so you might as well learn now.)