Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms – functional and logic programming.
The third edition to The Book of Shen gives the foundations of both those disciplines, exploring both lambda calculus, type theory, first - order and Horn clause logic in a text which is rich in worked examples. In the course of 400 pages, the text gives a complete formal and informal exposition of Shen.
Paperback ISBN: 9781784562137
* All services are subject to respective shipping companies terms of service. For more information see respective companies website.