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 11.49 €

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.04 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.04 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Categories for Types Crole

Paperback

95.81 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

Paperback

31.46 €

From Mathematics to Generic Programming Alexander A Stepanov

Paperback

32.67 €

Electric Six: Fire / (Replica) Ticket Electric Six

Audio CD

10.92 €

EIGHT COINS ASTROLOGY ORACLE SHOWELL ELIAN JAMES

Cards

19.01 €

Prstenec prozření Julie Nováková

Paperback

8.08 €

Huesca IV

Hardback

97.53 €

Le droit processuel de la responsabilité civile Raschel

Paperback

43.19 €

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

Hardback

21.74 €

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

Paperback

19.32 €

Cara Hector Malot

Hardback

22.35 €

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

Calendar

23.06 €

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

Hardback

638.93 €

Schlüsselkompetenzen in der Hochschullehre Vanessa Raber

Paperback

38.34 €

Apfelkiechla und Zwiebelblootz Birgit Ringlein

Hardback

8.59 €

Wald im Herbst - 1.000 Teile (Puzzle)

Game

31.56 €

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

Paperback

35.50 €

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

Paperback

35.71 €

Spiegelsbergen Halberstadt (Puzzle) Ulrich Schrader

Game

45.12 €

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

Paperback

53.11 €

Symphony of Whales, 1 DVD Relaxation & Chill

DVD

14.76 €

Aby porod nebolel Lucie Groverová-Suchá

Paperback

7.38 €

Die Pflege Der Parameter Von Standardsoftware Markus Hartinger

Paperback

47.24 €

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.