CS655: Programming Languages, Spring 2001
Manifest: Thursday 15 February 2001
Assignments Thursday, 22 February Problem Set 2 Readings
Applicative order readings (read after class today):
Lazy order reading (read at least two of these before class Tuesday):
- Franklyn Turbak and David Gifford with Brian Reistad, Applied Semantics of Programming Languages, Nov 1999, Chapter 7: Fixed Points.
Summer beach reading (if you haven't already):
- 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.
Handed out today (but not yet assigned for reading):
- "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).
- 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