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 (Switzerland : Springer, 2016)
Keywords: Wadler, Philip Lee -- 1956-; LÓGICA INFORMÁTICA; INGENIERÍA DE PROGRAMAS PARA COMPUTADORA; LÓGICA, SIMBÓLICA Y MATEMÁTICA; LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS); PROGRAMACIÓN (COMPUTADORAS ELECTRÓNICAS)