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

DPD courier 4.99 € GLS courier 9.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: 56.14 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

136 b

56.14 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Categories for Types Crole

Paperback

95.96 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

Paperback

31.51 €

From Mathematics to Generic Programming Alexander A Stepanov

Paperback

32.72 €

Grand Canyon, Nationalpark (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Calendar

23.10 €

Electric Six: Fire / (Replica) Ticket Electric Six

Audio CD

13.98 €

Prstenec prozření Julie Nováková

Paperback

8.91 €

EIGHT COINS ASTROLOGY ORACLE SHOWELL ELIAN JAMES

Cards

19.04 €

Cara Hector Malot

Hardback

22.39 €

Huesca IV

Hardback

87.86 €

Marabu Sada barev na textil ve spreji - Tropical Island

binding.

16.71 €

Le droit processuel de la responsabilité civile Raschel

Paperback

43.06 €

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

Hardback

21.58 €

Nightmare Before Christmas Collectible Bank Zero Stationery items

Stationery items

29.48 €

Art de la Draperie, Principalement Pour Ce Qui Regarde Les Draps Fins Henri-Louis Duhamel du Monceau

Paperback

19.35 €

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

Hardback

639.99 €

Schlüsselkompetenzen in der Hochschullehre Vanessa Raber

Paperback

38.40 €

Apfelkiechla und Zwiebelblootz Birgit Ringlein

Hardback

8.60 €

Wald im Herbst - 1.000 Teile (Puzzle)

Game

31.51 €

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

Paperback

35.76 €

Sing a Song of Sixpence (Simplified Chinese): 05 Hanyu Pinyin Paperback Color H y Xiao Phd

Paperback

35.56 €

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

Paperback

53.20 €

Spiegelsbergen Halberstadt (Puzzle) Ulrich Schrader

Game

45.19 €

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

Paperback

25.12 €

Aby porod nebolel Lucie Groverová-Suchá

Paperback

10.12 €

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.