Manifest: Thursday 15 February 2001

Assignments
Thursday, 22 February	Problem Set 2

Readings

Applicative order readings (read after class today):

• Franklyn Turbak and David Gifford with Brian Reistad, Applied Semantics of Programming Languages, Nov 1999, Chapter 7: Fixed Points.

Lazy order reading (read at least two of these before class Tuesday):

• Fred Brooks, Language Design as Design, HOPL-II keynote address, 1993. Brooks won the Turing Award last year, and wrote The Mythical Man-Month about IBM's 360 Project.
• Guy L. Steele, Growing a Language, OOPSLA 1998 Keynote. Guy Steele was a co-designed of Scheme, and one of the leading proponents of Java (and a co-author of the Java Language Specificaion).
• Tony Hoare, Hints on Programming Language Design, 1973.

Summer beach reading (if you haven't already):

• "Surely You're Joking, Mr. Feynman!": Adventures of a Curious Character.
• Douglas R. Hofstadter, Godel, Escher, Bach : An Eternal Golden Braid, 1979 (Pulitzer Prize Winner).

Handed out today (but not yet assigned for reading):

• Franklyn Turbak and David Gifford with Brian Reistad, Applied Semantics of Programming Languages, Nov 1999:
  • Contents, Chapter 1 (will be assigned soon) and Chapter 2 (for reference only)
  • Chapter 3 (will be assigned soon) and Chapter 4 (will be assigned later)
  • Appendix A (reference material on meta-language and domains)

M. C. Escher, Hands
(a.k.a., ((lambda (n) ((lambda (f) (f f n)) (lambda (f k) (f f k)))) .

University of Virginia Department of Computer Science CS 655: Programming Languages

David Evans evans@virginia.edu