Home Page for CIS 624 (Programming Languages)

Announcements:

(06-02-99) Previous final exams are available: f96.ps, f97.ps, f98.ps.
(05-07-99) Some example code demonstrating the use of "Scheme" exceptions has been added to the code/exceptions/ directory.
(05-03-99) Midterm exam and solution.
(04-19-99) Previous midterms are available: m96.ps, m97.ps, m98.ps.
(04-16-99) Reading about continuations:
- A draft of a survey paper that I wrote with Matthias Felleisen.
- Chapter 2 of my thesis has a history of continuations that you might find useful (specially pages 12-15). This document is nearly 200 pages long! For Chapter 2 only, click here.
(04-06-99) Some visitor Pattern References:
Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software Professional Computing Series, Addison-Wesley, 1995.
Matthias Felleisen and Dan Friedman, A Little java with Patterns, MIT Press, 1998.
A short document that John wrote for the CIS 211 class.
(03-31-99) For further reading on formal semantics, we have placed two books on reserve in the Science Library
Glynn Winskel, The Formal Semantics of Programming Languages
Carl Gunter, Semantics of Programming Languages
Winskell gives a separate chapter to each of the three semantics discussed on Wednesday, with a lot of detail. This is more than you need to know, so unless you're enjoying yourself and want to know more, just read Winskell's Preface, and Gunter's Introduction (Ch. 1).