The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

Advanced Topics in Types and Programming Languages

Hardcover • 2004 • English

Advanced Topics in Types and Programming Languages

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

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...Show more

Book details

ISBN

9780262162289

Publisher

MIT Press

Published year

2004

Language

English

Original title

Advanced Topics in Types and Programming Languages

Format

Hardcover

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Programming Principles and Practice Using C++

Programming Principles and Practice Using C++

Bjarne Stroustrup

Introduction to computing systems

Introduction to computing systems

Pat Yale

An Introduction to Parallel Programming

An Introduction to Parallel Programming

Pacheco Peter

Practical Programming, 3e

Practical Programming, 3e

Paul Gries

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Concepts of Programming Languages

Concepts of Programming Languages

Robert W. Sebesta

Programming in Haskell

Programming in Haskell

Graham Hutton

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Ian Chivers

Semantics

Semantics

John I. Saeed

Programming Language Pragmatics

Programming Language Pragmatics

USA) Scott Michael L. (University of Rochester NY

Programming

Programming

Bjarne Stroustrup

Big Java: Early Objects, 5th edition

Big Java: Early Objects, 5th edition

Cay Gibson

Exercises in Programming Style

Exercises in Programming Style

USA) Lopes Cristina Videira (University of California Irvine

Introducing Language Typology

Introducing Language Typology

Edith A. Moravcsik

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

Computer Systems A Programmer's Perspective

Computer Systems A Programmer's Perspective

Randal E. Bryant

C++ Primer Plus

C++ Primer Plus

Stephen Prata

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

A Book of Abstract Algebra Second Edition

A Book of Abstract Algebra Second Edition

Charles C Pinter

Concepts, techniques and models of computer programming

Concepts, techniques and models of computer programming

Seif Haridi

Introduction to computing systems: from bits & gates to c & beyond

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Introduction to computing systems - from bits…

Introduction to computing systems - from bits…

Yale University) Baaij C.J.W. (J.S.D. candidate

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Concepts in Programming Languages

Concepts in Programming Languages

John Abercrombie

Programming Challenges The Programming Contest Training Manual

Programming Challenges The Programming Contest Training Manual

Steven S. Skiena

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

C++ from the Beginning

C++ from the Beginning

Jan Skansholm

Introduction to computing systems - from bits & gates to C & beyond

Introduction to computing systems - from bits & gates to C & beyond

Yale N. Patt

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

The Practice of Programming

The Practice of Programming

Brian W. Kernighan

THIRD EDITION PROGRAMMING LANGUAGE CONCEPTS

THIRD EDITION PROGRAMMING LANGUAGE CONCEPTS

Carlo Ghezzi

Advanced Perl Programming

Advanced Perl Programming

Sriram Srinivasan

Compiler Construction

Compiler Construction

Kenneth C. Louden

Programming Languages

Programming Languages

Ravi Sethi

Pattern Languages of Program Design

Pattern Languages of Program Design

John M. Vlissides

Data Structures and Algorithm Analysis (2nd Edition)

Data Structures and Algorithm Analysis (2nd Edition)

Mark Allen Weiss

Concrete Mathematics

Concrete Mathematics

Ronald Graham

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

C Programming Language

C Programming Language

Brian W. Kernighan

Computer Science

Computer Science

Behrouz A. Forouzan