CSE 505 - Object-Oriented Programming

Lecture Notes:

Mini-Exercises:

Readings:

For Nov 14: Martin Odersky and Philip Wadler. "Pizza into Java: Translating theory into practice", 24th ACM Symposium on Principles of Programming Languages, Paris, January 1997. We'll distribute copies of this in class Nov 9. You can also find it online on Phil Wadler's GJ, Pizza, and Java page (at the bottom of the page).

Optional papers on type systems for object-oriented programming:
- Peter Canning, William Cook, Walter Hill, Walter Olthoff, John C. Mitchell, "F-bounded polymorphism for object-oriented programming", Proceedings of the fourth international conference on Functional programming languages and computer architecture, ACM, 1989. (pdf version from ACM Digital Library)
- Atsushi Igarishi, Benjamin Pierce, and Philip Wadler, "Featherweight Java: A minimal core calculus for Java and GJ", OOPSLA, Denver, November 1999. (Also linked from Phil's page.)
- Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler, "Making the future safe for the past: Adding Genericity to the Java Programming Language", OOPSLA 98, Vancouver, October 1998. (Also linked from Phil's page.)
- Robert Cartwright and Guy L. Steele, "Compatible genericity with run-time types for the Java programming language", OOPSLA 98, Vancouver, October 1998. (pdf version from ACM Digital Library)

We'll discuss the Pizza paper and related topics in class Nov 14 and 16. Please read the required paper before class Nov 14.

Assignment: please post a one or two-paragraph review of Pizza into Java: Translating theory into practice" on the 505 Pizza ePost bulletin board. This is due before class on Nov 14. As before, your review should describe the main points that the article tries to make. Also, describe what you liked, disliked, found interesting or found unclear or hard to understand. Please do your own review before reading the reviews of others; but after you post your review, please do feel free to browse, and add replies if you are so inclined. The reviews for 505 will be graded credit/no credit, so don't agonize over them.