Comprehending Ringads (A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 2016)

(untitled) - Gibbons, J