£64.84

It has never been this cheap. We have no record of a lower price.

£65 today · cheaper than every other day in the last 3 months

MIT Press Types & Programming Languages - Computer Science Text

View at Amazon

Price History & Forecast

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

Last 22 days · 22 data points (no recent data)

Historical
Generating forecast…
£64.84 £61.60 £62.89 £64.19 £65.49 £66.79 £68.08 25 July 2026 30 July 2026 04 August 2026 09 August 2026 15 August 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 22 days • 1 price levels

Days at Price
22 days 0 6 11 17 22 £65 Days at Price

Price Analysis

Most common price: £65 (22 days, 100.0%)

Price range: £65 - £65

Price levels: 1 different prices over 22 days

Description

Explore the foundational principles of computer science with Types & Programming Languages from MIT Press. This text offers a comprehensive introduction to type systems and the basic theory of programming languages. By examining type systems as a syntactic method for checking the absence of erroneous behaviors, readers gain insights into how program phrases are classified according to the values they compute. This resource is highly applicable for professionals and students working in software engineering, language design, high-performance compilers, and security. It provides a type-theoretic perspective that is essential for understanding modern programming language development and system stability. Whether you are studying information systems or advancing your knowledge in compiler design, this book serves as a definitive guide to the study of type systems.

Key Features

This MIT Press book provides a comprehensive introduction to both type systems in computer science and basic programming language theory.

The text covers essential applications in software engineering, language design, high-performance compilers, and security.

Each copy is provided in new, mint condition to ensure the highest quality for your academic or professional library.

Orders received before 12 noon are dispatched the same day to help you get your materials quickly.

Enjoy peace of mind with guaranteed packaging and a no quibbles returns policy on your purchase.

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

MIT Press - Advanced Topics in Types and Programming Languages
98% match

MIT Press - Advanced Topics in Types and Programming Languages

MIT Press

£57.60 24 Aug 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

£100.99 03 Oct 2026
Cambridge University Press - Type Theory and Formal Proof Book
97% match

Cambridge University Press - Type Theory and Formal Proof Book

Cambridge University Press

£74.11 26 Sep 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 13 Sep 2026
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers: 5497 (Lecture Notes in Computer Science, 5497)
97% match

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers: 5497 (Lecture Notes in Computer Science, 5497)

Springer

£43.19 06 Oct 2026
Semantics of Type Theory - Correctness & Completeness Results
97% match

Semantics of Type Theory - Correctness & Completeness Results

Birkhauser

£64.57 21 Oct 2026
Cambridge University Press - Programming Languages Textbook
97% match

Cambridge University Press - Programming Languages Textbook

Cambridge University Press

£59.89 20 Aug 2026
Introduction to Programming Languages
96% match

Introduction to Programming Languages

CRC Press

£74.88 07 Oct 2026
Introduction to Programming Languages
96% match

Introduction to Programming Languages

CRC Press

£184.58 18 Aug 2026
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
96% match

History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)

Springer

£121.55 06 Oct 2026
The French School of Programming
96% match

The French School of Programming

Springer

£100.40 06 Oct 2026
Programming Languages: Build, Prove, and Compare
96% match

Programming Languages: Build, Prove, and Compare

Cambridge University Press

£66.25 18 Aug 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.56 24 Sep 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£139.32 24 Sep 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£51.29 27 Aug 2026
Programming Language Design and Implementation - Springer Textbook
96% match

Programming Language Design and Implementation - Springer Textbook

Springer

£48.92 08 Oct 2026
Two-Level Functional Languages - Cambridge Tracts 34
96% match

Two-Level Functional Languages - Cambridge Tracts 34

Cambridge University Press

£112.47 18 Oct 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£70.00 01 Oct 2026
Mathematics in Programming
95% match

Mathematics in Programming

Springer

£47.12 08 Sep 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£61.75 01 Oct 2026
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
95% match

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Wiley

£118.20 05 Oct 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

£53.00 11 Sep 2026
MIT Press Essentials of Programming Languages 3e Textbook
95% match

MIT Press Essentials of Programming Languages 3e Textbook

MIT Press

£70.00 24 Aug 2026
Concepts in Programming Languages
95% match

Concepts in Programming Languages

Cambridge University Press

£67.70 08 Oct 2026