Martin Odersky hasn't written any stories yet.