-67% OFFBasic Simple Type Theory (English, J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen)
by J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen
Publisher: Cambridge University Press
Language: English
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 | 9780521465182 |
| ISBN-10 | 0521465184 |
| Author | J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen |
Product Description
Here on GlowMirror, you'll find Basic Simple Type Theory filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment app…
ISBN: 9780521465182
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Basic Simple Type Theory
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Advanced students, researchers, and domain experts seeking in-depth knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





