EVERYDAY DISCOUNT OFFER
Buy 2 or more eligible titles and save 35%*—use code BUY2. Shop now.
Philip Wadler is a researcher at Avaya Labs in New Jersey. He edits the Journal of Functional Programming for Cambridge University Press and is an editor of the Formal Semantics document.