FastPrint Publishing

Book Store

The Fast-Print Bookshop

Paperback Price: £45.00

The Book of Shen (3rd Ed.)

By Dr Mark Tarver

The Book of Shen (3rd Ed.) Cover Image

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

Buy this Book

Paperback: £45.00

* All services are subject to respective shipping companies terms of service. For more information see respective companies website.