Qualified Types by Mark P. Jones is listed under Cambridge University Press on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Qualified Types
- ·Ideas and detail relevant to Cambridge University Press
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Cambridge University Press, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Qualified Types?
Qualified Types starts from ₹4637 at BookBajar. Available in Paperback.
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.
What is BookBajar's return policy on Qualified Types?
Qualified Types can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Qualified Types?
Qualified Types has ISBN 9780521543262 (ISBN-10: 0521543266). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Qualified Types?
About the Book This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading.
Product ID: isbn-9780521543262
🛒 Customers Also Bought
R-Matrix Theory of Atomic Collisions (English, Philip George Burke)
₹5,191
Wichtige Frauen in Der Naturheilkunde (English, Annette Kerckhoff)
₹2,431
Notfälle Mit Bewusstseinsstörungen Und Koma (English, Hans-Christian Hansen | Christian Dohmen | Thomas Els)
₹4,237
Mao - The Mother of All Amine Oxidases (English, John P. M. Finberg | Moussa B. H. Youdim | Peter Riederer)
₹5,752
Vorlesungen Über Die Entwicklung Der Mathematik Im 19. Jahrhundert (English, Felix Klein | Richard Courant | Otto Neugebauer)
₹5,694
Die Pumpen (English, Hellmuth Schulz)
₹4,374Related Products
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹2,431
Mine Safety (English, Balbir S. Dhillon)
₹5,036
Theory of Bridge Aerodynamics (English, Einar Strømmen)
₹4,506
Five Types of Ethical Theory (English, Broad C.D.)
₹4,970
Eichtheorie (English, Taichiro Kugo | S. Heusler)
₹4,583