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, Donald (Lecture notes in computer science, 2016)