£57.60

Advanced Topics in Types and Programming Languages

Tan

Languages

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

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Not enough data points to display chart (need at least 2 points)

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price

Price Analysis

Most common price: £58 (1 days, 100.0%)

Price range: £58 - £58

Price levels: 1 different prices over 1 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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Types & Programming Languages (The MIT Press)

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

Type-Logical Semantics

Programming Languages: Build, Prove, and Compare

Practical Foundations for Programming Languages

Introduction to Programming Languages

Birkhauser Semantics of Type Theory - Computer Science Book

Introduction to Natural Language Processing (Adaptive Computation and Machine Learning series)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

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

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

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

Type Theory and Formal Proof: An Introduction

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

Programming Language Pragmatics

The French School of Programming

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer Programming Language Design and Implementation Book

Meaning and Grammar, second edition: An Introduction to Semantics

Concepts, Techniques and Models of Computer Programming (OIP) (The MIT Press)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Mathematics in Programming

Principles of Model Checking