ProfessorJ: a gradual introduction to Java through language levels.

Kathryn E. Gray, Matthew Flatt

Browse the full OOPSLA paper archive.