Qualified Types (English, Mark P. Jones)
Delivery options
₹4,637
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: ₹4,637
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521543262
ISBN-10
0521543266
Author
Mark P. Jones
About the Book
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation o…
ISBN: 9780521543262
ISBN-13: 9780521543262
ISBN-10: 0521543266
Frequently Asked Questions
What is the price of Qualified Types?
Qualified Types starts from ₹4637 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Qualified Types?
Mark P. Jones is the author of Qualified Types. Browse more books by Mark P. Jones on BookBajar.
Is Qualified Types available in Paperback and Hardcover?
Yes, Qualified Types is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Qualified Types?
Yes, BookBajar offers free delivery for Qualified Types across India. No minimum order value required.
Is Cash on Delivery available for Qualified Types?
Yes, Cash on Delivery (COD) is available for Qualified Types on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521543262
🛒 Customers Also Bought
Absteckungstafeln Für Eisenbahn- Und Strassenbau (English, Robert Findeis)
₹4,167
Fräsmaschinen Im Betrieb (English, H. H. Klein)
₹3,297
The One World Schoolhouse: Education Reimagined (English, Paperback, Salman Khan)
₹1,000
Objektive Photometrie (English, Rudolf Sewig)
₹5,966
Finite-Spectrum Assignment for Time-Delay Systems (English, Qing-Guo Wang | Tong H. Lee | Kok K. Tan)
₹1,030
Gleichgewicht Und Reibungslose Bewegung (English, O. Tietjens)
₹4,181Related Products
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹5,055
Tomita's Theory of Modular Hilbert Algebras and Its Applications (English, M. Takesaki)
₹2,098
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524