Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Books - Cambridge University Press - 9780521403849 - July 16, 1992
In case cover and title do not match, the title is correct

Nielson, Flemming (Aarhus Universitet, Denmark)
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Price
Íkr 19,909
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 9 - 20, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

311 pages, 4 b/w illus. 35 tables

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 16, 1992
ISBN13 9780521403849
Publishers Cambridge University Press
Pages 312
Dimensions 170 × 244 × 19 mm   ·   714 g
Language English  

See all of Nielson, Flemming (Aarhus Universitet, Denmark) ( e.g. Paperback Book and Hardcover Book )