A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Lindley, Sam. (Springer International Publishing,)