£57.60

Advanced Topics in Types and Programming Languages

Tan

Languages

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

View at Amazon

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

Same price for 6 weeks. Today is much like next week.

£58 for 39 days straight · last change was Dec 2025

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 147 days • 147 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 147 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £58 (48 days, 32.7%)

Price range: £55 - £62

Price levels: 7 different prices over 147 days

Description

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

Product Specifications

Colour: Tan
Format: paperback
ASIN: 0262552671
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 02 July 2024
Listed Since: 22 May 2024

Barcode

No barcode data available

Advanced Topics in Types and Programming Languages

Same price for 6 weeks. Today is much like next week.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Types & Programming Languages (The MIT Press)

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

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

Type Theory and Formal Proof: An Introduction

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)

Practical Foundations for Programming Languages

Programming Languages: Build, Prove, and Compare

Introduction to Programming Languages

Programming Language Explorations

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

Theories of Programming Languages

Theories of Programming Languages

Programming Language Explorations

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

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

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

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

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

Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Understanding Programming Languages

Mathematics in Programming

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Programming Language Pragmatics