Two-Level Functional Languages (English, Flemming Nielson | Hanne Riis Nielson)
by Flemming Nielson | Hanne Riis Nielson
Delivery options
₹15,115
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹15,115
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521403849
ISBN-10
0521403847
Author
Flemming Nielson | Hanne Riis Nielson
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: 9780521403849
ISBN-13: 9780521403849
ISBN-10: 0521403847
Frequently Asked Questions
What is the price of Two-Level Functional Languages?
Two-Level Functional Languages starts from ₹15115 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Two-Level Functional Languages?
Flemming Nielson | Hanne Riis Nielson is the author of Two-Level Functional Languages. Browse more books by Flemming Nielson | Hanne Riis Nielson on BookBajar.
Is Two-Level Functional Languages available in Paperback and Hardcover?
Yes, Two-Level Functional Languages is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Two-Level Functional Languages?
Yes, BookBajar offers free delivery for Two-Level Functional Languages across India. No minimum order value required.
Is Cash on Delivery available for Two-Level Functional Languages?
Yes, Cash on Delivery (COD) is available for Two-Level Functional Languages on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521403849
🛒 Customers Also Bought
Interaktive Breitbandkommunikation (English, W. Kaiser)
₹4,118
Telekommunikation Für Den Menschen / Human Aspects of Telecommunication (English, Eberhard Witte | Eberhard Witte | Peter Welchowski)
₹4,057
Entwicklung Und Einsatz Einer Direkten Digitalen Grenzregelung Für Eine Fräsmaschine Mit CNC (English, K. Kappen)
₹4,188
Der Praktische Maschinenbauer (English, H. Winkel | K. Ruegg | H. Winkel)
₹4,168
Deutsches Kranbuch (English, Meves Meves)
₹5,581
Krankenhaus Im Brennpunkt (English, Thomas Ratajczak | Arbeitsgemeinschaft Rechtsanwälte Im Med | Gabriela Schwarz-Schilling)
₹4,191Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095