CS 565: Readings

Required texts

• Friedman, Wand, and Haynes, Essentials of Programming Languages, McGraw-Hill, 1992.

• Palsberg and Schwartzbach, Object-Oriented Type Systems, Wiley, 1994.

• Kozen, Palsberg, and Schwartzbach, Efficient Recursive Subtyping, Mathematical Structures of Computer Science (5)1:113-125, 1995 (ps).

Recommended Texts

• Clinger and Rees (editors), Revised4 Report on the Algorithmic Language Scheme, 1991 (ps, html).

• Flanagan, Java in a Nutshell, O'Reilly, 1996.

• Niemeyer and Peck, Exploring Java, O'Reilly, 1996.

Supplementary Readings

• The scm homepage.

• The JavaSoft homepage.

• Java FAQ.

• Is Scheme faster than C?.

• Palsberg and O'Keefe, A Type System Equivalent to Flow Analysis, ACM Transactions on Programming Languages and Systems 17(4): 576-599, July 1995 (ps).