If you made any changes in Pure these will be visible here soon.

Research Output


A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Lindley, S. (ed.), McBride, C. (ed.), Trinder, P. (ed.) & Sannella, D. (ed.), 25 Mar 2016, Springer. 478 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600)

Research output: Book/ReportBook