CURRENTLY SOLD OUT

Practical Foundations for Programming Languages by Robert Harper (Hardback, 2012)

About this product

Best-selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)
4.8 out of 5 stars based on 16 product ratings
£0.99 New
---- Used
Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)
4.9 out of 5 stars based on 41 product ratings
£6.26 New
£5.99 Used
Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)
5.0 out of 5 stars based on 2 product ratings
£7.15 New
---- Used
Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)
4.9 out of 5 stars based on 10 product ratings
£44.20 New
£34.99 Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
4.9 out of 5 stars based on 7 product ratings
£10.83 New
£8.00 Used
Clean & Green: 101 Hints and Tips for a More Eco-Friendly Home by Nancy Birtwhistle (Hardcover, 2021)
4.9 out of 5 stars based on 32 product ratings
£11.35 New
£8.27 Used
Why We Get Sick: The Hidden Epidemic at the Root of Most Chronic Disease and How to Fight It by Benjamin Bikman (Paperback, 2021)
5.0 out of 5 stars based on 2 product ratings
£10.30 New
£9.66 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Greekish: Everyday recipes with Greek roots by Georgina Hayden (English) Hardcov
£19.98
Trending at £20.31
Bold Beans: Beautiful, Brilliant and Exciting Recipes by Amelia Christie-Miller
£15.99
Trending at £17.29
The Concise Laws of Human Nature by Robert Greene Paperback, English
£7.39
Trending at £9.03
This Is Why You Dream: What your sleeping brain reveals about your waking life b
£14.98
Trending at £15.77
Zero to One: Notes on Start Ups, or How to Build the Future by Thiel, Peter The
£8.83
Trending at £9.12
Why We Get Sick : The Hidden Epidemic at the Root of Most Chronic Disease PB
£9.84
Trending at £10.83

About this product

Product Information

Types are the central organizing principle of the theory of programming languages. In this invative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
1107029570
ISBN-13
9781107029576
eBay Product ID (ePID)
129168692

Product Key Features

Author
Robert Harper
Format
Hardback
Language
English
Subject
Computing: Professional & Programming
Type
Textbook

Dimensions

Weight
1000g
Height
253mm
Width
177mm

Additional Product Features

Place of Publication
Cambridge
Spine
30mm
Content Note
Illustrations
Author Biography
Robert Harper has been a member of the faculty of Computer Science at Carnegie Mellon University since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Professor Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon and is a Fellow of the Association for Computing Machinery.
Out-Of-Print Date
24/03/2017
Date of Publication
17/12/2012
Country of Publication
United Kingdom
Genre
Computing: Professional & Programming

Shop by category

Practical Foundations for Programming Languages by Robert Harper (Hardback, 2012)

Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)

Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)

Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)

Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)

The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)

Clean & Green: 101 Hints and Tips for a More Eco-Friendly Home by Nancy Birtwhistle (Hardcover, 2021)

Why We Get Sick: The Hidden Epidemic at the Root of Most Chronic Disease and How to Fight It by Benjamin Bikman (Paperback, 2021)

Save on Adult Learning & University

Greekish: Everyday recipes with Greek roots by Georgina Hayden (English) Hardcov

Bold Beans: Beautiful, Brilliant and Exciting Recipes by Amelia Christie-Miller

The Concise Laws of Human Nature by Robert Greene Paperback, English

This Is Why You Dream: What your sleeping brain reveals about your waking life b

Zero to One: Notes on Start Ups, or How to Build the Future by Thiel, Peter The

Why We Get Sick : The Hidden Epidemic at the Root of Most Chronic Disease PB

You may also like

Hardback Language Books in English

Hardback Language Books in Polish

Harper Lee Hardback Antiquarian & Collectable Books in English

Hardback Non-Fiction Language Books

Language Hardback Antiquarian & Collectable Books

Language Hardback Antiquarian & Collectable Books in French

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features