EVERYDAY DISCOUNT OFFER
Buy 3 or more eligible titles and save 40%*—use code BUY3. 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.