Practical Foundations for Programming Languages

ISBN-10: 1107029570
ISBN-13: 9781107029576
Edition: 2012
Authors: Robert Harper
List price: $54.99
eBook available
This item qualifies for FREE shipping

*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.

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  More...

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

Get an entry for every item you buy, rent, or sell.

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

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

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.508
Language: English

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.

Judgments and Rules
Inductive definitions
Hypothetical judgments
Syntactic objects
Generic judgments
Levels of Syntax
Concrete syntax
Abstract syntax
Statics and Dynamics
Statics
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
Subtyping
Subtyping
Singleton and dependent kinds
Classes and Methods
Dynamic dispatch
Inheritance
Control Effects
Control stacks
Exceptions
Continuations
Types and Propositions
Constructive logic
Classical logic
Symbols
Symbols
Fluid binding
Dynamic classification
Storage Effects
Modernized algol
Mutable data structures
Laziness
Lazy evaluation
Polarization
Parallelism
Nested parallelism
Futures and speculation
Concurrency
Process calculus
Current algol
Distributed algol
Modularity
Separate compilation and linking
Basic modules
Parameterized modules
Equivalence
Equational reasoning for T
Equational reasoning for PCF
Parametricity

×
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.

×