£64.89

MIT Press Types & Programming Languages (The MIT Press)

Price data last checked 148 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£65 today · usual range £0–£0 · best ever £40

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 583 days • 583 data points (No recent data available)

Historical
Generating forecast...
£78.00 £36.63 £45.66 £54.68 £63.71 £72.73 £81.76 09 June 2024 01 November 2024 27 March 2025 19 August 2025 12 January 2026

Price Distribution

Price distribution over 583 days • 4 price ranges

Days at Price
Current Price
23 days 68 days 416 days · current 76 days 0 104 208 312 416 £40-48 £55-63 £63-70 £70-78 Days at Price

Price Analysis

Most common range: £63-70 (416 days, 71.4%)

Price range: £40 - £78

Price levels: 4 price ranges over 583 days

Description

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
05 February 2002
Listed Since
07 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Advanced Topics in Types and Programming Languages
98% match

Advanced Topics in Types and Programming Languages

£57.60 25 Jan 2026
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
97% match

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Cambridge University Press

£87.95 19 Apr 2026
Type Theory and Formal Proof: An Introduction
97% match

Type Theory and Formal Proof: An Introduction

Cambridge University Press

£65.49 17 Mar 2026
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
97% match

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Birkhauser

£72.50 26 Feb 2026
Practical Foundations for Programming Languages
97% match

Practical Foundations for Programming Languages

Cambridge University Press

£59.68 14 Jan 2026
Introduction to Programming Languages
96% match

Introduction to Programming Languages

CRC Press

£166.98 12 Jan 2026
Programming Languages: Build, Prove, and Compare
96% match

Programming Languages: Build, Prove, and Compare

£62.56 12 Jan 2026
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)
96% match

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)

Springer

£44.52 10 Mar 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£115.00 09 Mar 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£46.91 31 Jan 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£68.79 12 Apr 2026
Mathematics in Programming
95% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£57.99 14 Apr 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
95% match

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge University Press

£49.25 21 Feb 2026
Essentials of Programming Languages 3e (OIP) (The MIT Press)
95% match

Essentials of Programming Languages 3e (OIP) (The MIT Press)

MIT Press

£70.00 25 Jan 2026
Verified Functional Programming in Agda (ACM Books)
95% match

Verified Functional Programming in Agda (ACM Books)

Morgan & Claypool

£69.00 25 Jan 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£53.52 06 Apr 2026
Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
95% match

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Springer

£42.67 18 Feb 2026
Verified Functional Programming in Agda (ACM Books)
95% match

Verified Functional Programming in Agda (ACM Books)

Morgan & Claypool

£85.00 06 Jan 2026
Programming Language Pragmatics
95% match

Programming Language Pragmatics

Morgan Kaufmann

£61.77 14 Jan 2026
Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)
95% match

Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)

Wiley

£114.59 11 Mar 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
95% match

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£63.54 27 Feb 2026
Formal Language: A Practical Introduction
95% match

Formal Language: A Practical Introduction

Franklin Beedle & Associates

£55.00 16 Feb 2026
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
95% match

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Saint Philip Street Press

£75.99 16 Feb 2026