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 Nature, 2016)
Keywords: Computer programming, programs, data; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering