Title: Festschrift Für Walter Odersky Zum 65. Geburtstag Am 17. Juli 1996