BookShops.in
Basic Simple Type Theory (English, J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen)-67% OFF
Sciences, Technology & Medicine

Basic Simple Type Theory (English, J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen)

By J. Roger Hindley | Roger J. Hindley | C. J. Van RijsbergenCambridge University Press
₹4,330₹13,117Save 67%

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵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

Book Details

ISBN-139780521465182
ISBN-100521465184

Product Description

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

Frequently Asked Questions

What is the price of Basic Simple Type Theory?
Basic Simple Type Theory is available at ₹4,330 on BookShops.in.
Does BookShops.in offer free delivery for Basic Simple Type Theory?
FREE delivery on all orders for Basic Simple Type Theory.
Is Cash on Delivery available for Basic Simple Type Theory?
Yes, Cash on Delivery (COD) is available for Basic Simple Type Theory on BookShops.in. Pay when your order arrives.
What is the return policy for Basic Simple Type Theory?
BookShops.in offers a 15-day hassle-free return policy for Basic Simple Type Theory. Contact us at support@bookshops.in or call +91 81899 68108.
Is Basic Simple Type Theory authentic?
Basic Simple Type Theory is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer) — BookShops.in-43%

Sciences, Technology & Medicine

Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)

₹5,311₹9,385
Buy Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine) — BookShops.in-78%

Sciences, Technology & Medicine

Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)

₹5,209₹23,985
Buy Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew) — BookShops.in

Sciences, Technology & Medicine

Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)

₹4,788
Buy Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman) — BookShops.in

Sciences, Technology & Medicine

Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)

₹4,327
Buy Financial Products (English, Bill Dalton) — BookShops.in-74%

Sciences, Technology & Medicine

Financial Products (English, Bill Dalton)

₹5,108₹19,961
Buy Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert) — BookShops.in-62%

Sciences, Technology & Medicine

Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)

₹5,407₹14,329