£30.00
Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms – functional and logic programming.
The fifth 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 over 500 pages, The Book of Shen gives a complete formal and informal exposition of Shen.
Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms – functional and logic programming.
The fifth 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 over 500 pages, The Book of Shen gives a complete formal and informal exposition of Shen.
| Weight | 0.744 kg |
|---|---|
| Dimensions | 22.9 × 15.2 × 3.8 cm |
Queries: 352 | Time: 1.011s
Reviews
There are no reviews yet.