Festschrift F?r Walter Odersky Zum 65. Geburtstag Am 17. Juli 1996