Language, Linguistics & Writing
Two-Level Functional Languages (English, Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen)
₹4,626
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Product Description
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 Specifications
| ISBN-13 | 9780521018470 |
| ISBN-10 | 0521018471 |
| Publisher | Cambridge University Press |
| Category | Language, Linguistics & Writing |
Frequently Asked Questions
What is the price of Two-Level Functional Languages?
Two-Level Functional Languages is available at ₹4,626 on BookShops.in.
Does BookShops.in offer free delivery for Two-Level Functional Languages?
FREE delivery on all orders for Two-Level Functional Languages.
Is Cash on Delivery available for Two-Level Functional Languages?
Yes, Cash on Delivery (COD) is available for Two-Level Functional Languages on BookShops.in. Pay when your order arrives.
What is the return policy for Two-Level Functional Languages?
BookShops.in offers a 15-day hassle-free return policy for Two-Level Functional Languages. Contact us at [email protected] or call +91 81899 68108.
Is Two-Level Functional Languages authentic?
Two-Level Functional Languages is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Journalism
Rock Critic Law (English, Michael Azerrad)
₹1,694
Journalism
What Is Sustainable Journalism?: Integrating the Environmental, Social, and Economic Challenges of Journalism
₹5,453
Journalism
The Power of Sports: Media and Spectacle in American Culture: 23 (Postmillennial Pop)
₹2,743
Journalism
Research Guide to People's Daily Editorials, 1949-1975
₹2,682
Vocabulary
Prince Edward Island Sayings (Heritage)
₹3,433
Vocabulary
Grammar Survival for Primary Teachers: A Practical Toolkit by Jo Shackleton
₹2,178
Related Products
View All
Language, Linguistics & Writing
The Language of Turn and Sequence | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | S
₹4,025
Language, Linguistics & Writing
Handbook of Color Psychology by Andrew J. Elliot
₹5,074
Language, Linguistics & Writing
The Language of Postcolonial Literatures (English, Ismail S. Talib)
₹3,249
Language, Linguistics & Writing
The Other Side of Language | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by
₹5,396
Language, Linguistics & Writing
An Introduction to Cognitive Linguistics | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Ha
₹4,276
Language, Linguistics & Writing
Nonsense and Other Senses: Regulated Absurdity in Literature
₹3,662