Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Basic Simple Type Theory

Name: Basic Simple Type Theory
Brand: Cambridge University Press
SKU: 02020082
Price: 53.89 EUR
Availability: InStock
Author: J. Roger Hindley
ISBN: 9780521054225

J. Roger Hindley

Language

English

Book Paperback

Libristo code: 02020082

Publishers Cambridge University Press, January 2008

Type theory is one of the most important tools in the design of higher-level programming languages,... Full description

Libristo code: 02020082

132 b

53.89 € VAT included

In stock at our supplier Shipping in 14-21 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Categories for Types Crole

Paperback

91.39 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

Paperback

26.89 €

From Mathematics to Generic Programming Alexander A Stepanov

Paperback

32.29 €

Le droit processuel de la responsabilité civile Raschel

Paperback

37.89 €

Marabu Sada barev na textil ve spreji - Tropical Island

binding.

14.49 €

Nightmare Before Christmas Collectible Bank Zero Stationery items

Stationery items

29.09 €

Huesca IV

Hardback

86.69 €

Prstenec prozření Julie Nováková

Paperback

8.09 €

Лас-Пальмас рассказывае& Ð Ð¾Ð° ÐœeÐ½Ð´ÐµÐ· Ð«ÐµÐ»Ð¸Ñ‚Ð·Ð° Ð”Ðµ Ð Ð¾Ð° ÐœeÐ½Ð´ÐµÐ·

Paperback

35.30 €

Electric Six: Fire / (Replica) Ticket Electric Six

Audio CD

16.99 €

EIGHT COINS ASTROLOGY ORACLE SHOWELL ELIAN JAMES

Cards

17.99 €

Symphony of Whales, 1 DVD Relaxation & Chill

DVD

14.60 €

Cara Hector Malot

Hardback

22.09 €

Ferdinand Hodler: Catalogue Raisonne der Gemalde Schweizerisches Institut für Kunstwissenschaft SIK-ISEA

Hardback

668.19 €

Schlüsselkompetenzen in der Hochschullehre Vanessa Raber

Paperback

39.90 €

Apfelkiechla und Zwiebelblootz Birgit Ringlein

Hardback

9.95 €

Ausführliches Handbuch der Weberei - Teil 1 J. Schams

Paperback

39.90 €

Beitrag Zum Problem Der Erfassung, Verrechnung Und Auswertung Industrieller Vertriebskosten Paul Müller-Giebeler

Paperback

54.99 €

Aby porod nebolel Lucie Groverová-Suchá

Paperback

4.59 €

Die Pflege Der Parameter Von Standardsoftware Markus Hartinger

Paperback

49.99 €

Mandalas à colorier en pleine conscience - Pour se recentrer et retrouver le calme intérieur... Tiddy Rowan

Hardback

18.59 €

Berenice Jean Baptiste Racine

Paperback

6.99 €

Corporate Citizenship im Sport. Chancen und Risiken des burgerschaftlichen Engagements von Wirtschaftsunternehmen Josephine Bittner

Paperback

27.95 €

Spiegelsbergen Halberstadt (Puzzle) Ulrich Schrader

Game

44.99 €

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. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists.