| book details |

Two-Level Functional Languages

By (author) Flemming Nielson, By (author) Hanne Riis Nielson

| on special |

normal price: R 1 170.95

Price: R 1 053.95

| add to trolley |

| book description |

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists.

| product details |

| other options |

Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |

Normal Price | R 2 553.95
Price | R 2 297.95 | on special |

| add to trolley |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages

Enquiries only

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| enquire |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |

Remarkably Bright Creatures

Shelby Van Pelt
Paperback / softback
384 pages
was: R 522.95
now: R 469.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Dungeon Crawler Carl

Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |