Advanced Topics in Types and Programming Languages

Benjamin C. Pierce (Professor, University of Pennsylvania)

$180

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

MIT Press
02 July 2024

Programming & scripting languages: general

A thorough and accessible introduction to a range of key ideas in type systems for programming language.

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.

Edited by: Benjamin C. Pierce (Professor University of Pennsylvania)
Imprint: MIT Press
Country of Publication: United States
Dimensions: Height: 229mm, Width: 203mm,
Weight: 369g
ISBN: 9780262552677
ISBN 10: 0262552671
Pages: 588
Publication Date: 02 July 2024
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

AUSTRALIA-WIDE LOW FLAT RATE $9.90

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce (Professor, University of Pennsylvania)

$180

Paperback

See Also

Contact Abbeys

Contact Galaxy

Contact Language

Contact Us

About ABBEY'S