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

Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Nielson, Flemming (Aarhus Universitet, Denmark)

Price
¥ 10,742
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 5 - 16

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:

Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

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.

312 pages, 4 b/w illus. 35 tables

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 22, 2005
ISBN13 9780521018470
Publishers Cambridge University Press
Pages 312
Dimensions 170 × 244 × 17 mm   ·   493 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

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