Foundations for Programming Languages

Mitchell, John C.

4.42 out of 5 stars

12 ratings by Goodreads

ISBN 10: 0262133210 ISBN 13: 9780262133210

Published by MIT Press, 1996

Language: English

Condition: Used - Good Hardcover

Save for Later

Sold by ThriftBooks-Dallas, Dallas, TX, U.S.A.

AbeBooks Seller since July 2, 2009

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Good

Price: US$ 38.97 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 10.25.

Seller Inventory # G0262133210I3N00

Contact seller

Report this item

Bibliographic Details

Title

Foundations for Programming Languages

Publisher

MIT Press

Publication Date

1996

Language

English

ISBN 10

0262133210

ISBN 13

9780262133210

Binding

Hardcover

Condition

Good

Dust Jacket Condition

No Jacket

Seller catalogs

About this title

Synopsis

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

About the Author

John C. Mitchell is Associate Professor, Department of Computer Science, Stanford University.

"About this title" may belong to another edition of this title.

Store Description

ThriftBooks is a fully independent seller of used books, having sold more than 160 million used and new books since we started in 2003. Each quality used book is sorted, graded, shelved and shipped by hand by our team of dedicated employees in our seven warehouses across the US. We have the best selection of books, in the right condition and format, at everyday low prices. We also have a dedicated, US-based Customer Service team, ranked in the top three by Newsweek for Best Customer Service in 2018 and 2019, so you can shop with confidence. We support and invest in our employees, appreciate and value our customers, and truly believe in the power of the written word to educate, energize, and engage readers of all ages and interests.

Visit Seller's Storefront

Seller's business information

Thrift Books Global LLC
18300 Cascade Ave S, Seattle, WA, 98188, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee each book that we send you. If you have any problems, please contact
our dedicated customer service department. They will do everything possible to
ensure you are happy with your order.

Shipping Terms

All domestic Standard shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.

2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.

International shipments are tendered to the local postal service in the destination country for final delivery – We do not use courier services for international deliveries.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 8 business days	4 to 8 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.