Two-Level Functional Languages (English, Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen)
by Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen
Delivery options
₹6,311
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: ₹6,311
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521018470
ISBN-10
0521018471
Author
Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen
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
ISBN-13: 9780521018470
ISBN-10: 0521018471
Frequently Asked Questions
What is the price of Two-Level Functional Languages?
Two-Level Functional Languages starts from ₹6311 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 | C. J. Van Rijsbergen is the author of Two-Level Functional Languages. Browse more books by Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen 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-9780521018470
🛒 Customers Also Bought
Straight from the Book (English, Hardcover, Titu Andreescu, Gabriel Dospinescu)
₹4,863
Trägerfrequenz-Nachrichtenübertragung Über Hochspannungsleitungen (English, Heinrich-Karl Podszeck)
₹5,579
Dynamische Disposition (English, Timm Gudehus)
₹14,716
Theorie Und Berechnung Der Eisernen Brücken (English, Friedrich Bleich)
₹5,258
Grundzüge Der Bergbaukunde Einschliesslich Aufbereitung Und Brikettieren (English, Emil Treptow)
₹4,889
Source Book of Flavors (English, Henry B. Heath)
₹4,403Related 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
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883