
Qualified Types (English, Mark P. Jones)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521543262 |
| ISBN-10 | 0521543266 |
| Author | Mark P. Jones |
Product Description
Here on GlowMirror, you'll find Qualified Types filed under Cambridge University Press -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Qualified Types
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Students and professionals interested in Cambridge University Press, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





