4034216
9780521018470
Two-Level Functional Languages
by Nielson, Flemming, Nielson, Hanne Riis, van Rijsbergen, C. J.
31245
List Price
Discount
10% Off
You Save
$6.53
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521018470
- ISBN: 0521018471
- 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.Nielson, Flemming is the author of 'Two-Level Functional Languages' with ISBN 9780521018470 and ISBN 0521018471.
[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.
