Practical Foundations for Programming Languages

ISBN-10: 1107029570

ISBN-13: 9781107029576

Edition: 2012

Authors: Robert Harper
List price: $54.99
eBook available
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: Types are the central organizing principle of the theory of programming languages. In this innovative 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 taxonomy, 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 only 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.

eBooks Starting from $72.00
what's this?
Rush Rewards U
Members Receive:
You have reached 400 XP and carrot coins. That is the daily max!

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99

Customers also bought


Book details

List price: $54.99
Copyright year: 2012
Publisher: Cambridge University Press
Publication date: 12/17/2012
Binding: Hardcover
Pages: 487
Size: 7.00" wide x 10.00" long x 1.25" tall
Weight: 2.2
Language: English

Judgments and Rules
Inductive definitions
Hypothetical judgments
Syntactic objects
Generic judgments
Levels of Syntax
Concrete syntax
Abstract syntax
Statics and Dynamics
Type safety
Evaluation dynamics
Function Types
Function definitions and values
Godel's system T
Plotkin's PCF
Finite Data Types
Product types
Sum patterns
Pattern matching
Generic programming
Infinite Data Types
Inductive and co-inductive types
Recursive types
Dynamic Types
The untyped 1-calculus
Dynamic typing
Hybrid typing
Variable Types
Girard's system F
Abstract types
Constructors and kinds
Indexed families of types
Singleton and dependent kinds
Classes and Methods
Dynamic dispatch
Control Effects
Control stacks
Types and Propositions
Constructive logic
Classical logic
Fluid binding
Dynamic classification
Storage Effects
Modernized algol
Mutable data structures
Lazy evaluation
Nested parallelism
Futures and speculation
Process calculus
Current algol
Distributed algol
Separate compilation and linking
Basic modules
Parameterized modules
Equational reasoning for T
Equational reasoning for PCF
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.