-27% OFFTwo-Level Functional Languages (English, Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen)
by Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen
Publisher: Cambridge University Press
Language: English
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521018470 |
| ISBN-10 | 0521018471 |
| Author | Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen |
Product Description
Here on GlowMirror, you'll find Two-Level Functional Languages filed under Language, Linguistics & Writing -- everything you need to know is covered below.
About the Book
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 introd…
ISBN: 9780521018470
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Two-Level Functional Languages
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Language, Linguistics & Writing
Who Should Read This
Students and professionals interested in Language, Linguistics & Writing, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy











