1764208
9780521403849
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)
by Flemming Nielson, Hanne Riis Nielson
8823
List Price
Discount
24% Off
You Save
$42.92
About this item
- Condition: New
- Provider: Bookjunction
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
370333
List Price
Discount
26% Off
You Save
$45.29
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9780521403849
- ISBN: 0521403847
- Publication Date: 1992
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
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.Flemming Nielson is the author of 'Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)', published 1992 under ISBN 9780521403849 and ISBN 0521403847.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
