, Lindley, S.
& Morris, J. G.
, 4 Mar 2016
, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer International Publishing
, p. 32-55 25 p.
(Lecture Notes in Computer Science; vol. 9600).
Research output: Chapter in Book/Report/Conference proceeding › Chapter