A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don (Springer International Publishing : Imprint: Springer, 2016)