Publications by 'Odersky, Martin'