Books of Philip Wadler (eds.)