Skip to content

Advanced Topics in Types and Programming Languages
Stock Photo: Cover May Be Different

Advanced Topics in Types and Programming Languages Hardcover - 2004

by Benjamin C. Pierce (Editor)


From the publisher

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.

Details

  • Title Advanced Topics in Types and Programming Languages
  • Author Benjamin C. Pierce (Editor)
  • Binding Hardcover
  • Edition 1st ed.
  • Pages 588
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge
  • Date December 23, 2004
  • Illustrated Yes
  • ISBN 9780262162289 / 0262162288
  • Weight 2.71 lbs (1.23 kg)
  • Dimensions 9.18 x 8.1 x 1.24 in (23.32 x 20.57 x 3.15 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalog Number 2004057123
  • Dewey Decimal Code 005.13
Back to Top

More Copies for Sale

Advanced Topics in Types and Programming Languages (OIP) (The MIT Press)
Stock Photo: Cover May Be Different

Advanced Topics in Types and Programming Languages (OIP) (The MIT Press)

by Pierce, Benjamin C

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 13
9780262162289
ISBN 10
0262162288
Quantity Available
1
Seller
Thetford, Norfolk, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$139.62
NZ$106.37 shipping to USA

Show Details

Description:
MIT Press, 15/02/2005 00:00:01. hardcover. Very Good. 3.2975 in x 22.8426 in x 20.5544 in.
Item Price
NZ$139.62
NZ$106.37 shipping to USA
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

by Edited by Benjamin C Pierce

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162289
ISBN 10
0262162288
Quantity Available
1
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$166.72
NZ$17.00 shipping to USA

Show Details

Description:
Hardback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; A thorough and accessible introduction to a range of key ideas in type systems for programming language.
Item Price
NZ$166.72
NZ$17.00 shipping to USA
Advanced Topics in Types and Programming Languages (OIP)

Advanced Topics in Types and Programming Languages (OIP)

by Benjamin C. Pierce

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162289
ISBN 10
0262162288
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$170.19
NZ$21.27 shipping to USA

Show Details

Description:
Mit Pr, 2004. Hardcover. New. 1st edition. 588 pages. 9.00x8.25x1.50 inches.
Item Price
NZ$170.19
NZ$21.27 shipping to USA
Advanced Topics in Types and Programming Languages (The MIT Press)
Stock Photo: Cover May Be Different

Advanced Topics in Types and Programming Languages (The MIT Press)

by Pierce, Benjamin C., Ed

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162289
ISBN 10
0262162288
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$246.56
NZ$9.17 shipping to USA

Show Details

Description:
MIT Press, 2004-12-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$246.56
NZ$9.17 shipping to USA