Programming Languages : Build, Prove, and Compare

Ramsey, Norman

3.00 out of 5 stars

8 ratings by Goodreads

ISBN 10: 110718018X ISBN 13: 9781107180185

Published by Cambridge University Press, 2022

Used Hardcover

From Better World Books, Mishawaka, IN, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since August 3, 2006

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Used book that is in clean, average condition without any missing pages. Seller Inventory # 52494312-6

3.00 out of 5 stars

8 ratings by Goodreads

Report this item

Synopsis:

Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.

About the Author: Norman Ramsey is Associate Professor of Computer Science at Tufts University. Since earning his Ph.D. at Princeton, he has worked in industry and has taught programming languages, advanced functional programming, programming-language implementation, and technical writing at Purdue, the University of Virginia, and Harvard as well as Tufts. He has received Tufts's Lerman-Neubauer Prize, awarded annually to one outstanding undergraduate teacher. He has also been a Hertz Fellow and an Alfred P. Sloan Research Fellow. His implementation credits include a code generator for the Standard ML of New Jersey compiler and another for the Glasgow Haskell Compiler.

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

Bibliographic Details

Title: Programming Languages : Build, Prove, and ...
Publisher: Cambridge University Press
Publication Date: 2022
Binding: Hardcover
Condition: Good

Top Search Results from the AbeBooks Marketplace

Seller Image

Programming Languages: Build, Prove, and Compare

Ramsey, Norman

Published by Cambridge University Press, 2022

ISBN 10: 110718018X ISBN 13: 9781107180185

Used Hardcover

Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.

Seller rating 4 out of 5 stars

Condition: acceptable. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear such as cover tears discoloration, staining, marks, scuffs, etc. All pages intact. Seller Inventory # GWSVV.110718018X.A

Contact seller

Buy Used

US$ 19.99

Shipping: US$ 3.99

Within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Programming Languages: Build, Prove, and Compare

Ramsey, Norman

Published by Cambridge University Press, 2022

ISBN 10: 110718018X ISBN 13: 9781107180185

Used Hardcover

Seller: Books From California, Simi Valley, CA, U.S.A.

Seller rating 5 out of 5 stars

hardcover. Condition: Very Good. The copy shows minor external wear, but is in otherwise clean condition. Seller Inventory # mon0003897110

Contact seller

Buy Used

US$ 35.90

Shipping: US$ 3.99

Within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Programming Languages: Build, Prove, and Compare

Ramsey, Norman

Published by Cambridge University Press, 2022

ISBN 10: 110718018X ISBN 13: 9781107180185

Used Hardcover

Seller: Books From California, Simi Valley, CA, U.S.A.

Seller rating 5 out of 5 stars

hardcover. Condition: Good. Cover and edges may have some wear. Loose binding, good reading copy. Seller Inventory # mon0003852617

Contact seller

Buy Used

US$ 36.31

Shipping: US$ 3.99

Within U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Programming Languages: Build, Prove, and Compare

Ramsey, Norman

Published by Cambridge University Press, 2022

ISBN 10: 110718018X ISBN 13: 9781107180185

Used Hardcover

Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.

Seller rating 5 out of 5 stars

Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail. Seller Inventory # OTV.110718018X.VG

Contact seller

Buy Used

US$ 39.98

Shipping: FREE

Within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

PROGRAMMING LANGUAGES

RAMSEY

Published by CAMB, 2022

ISBN 10: 110718018X ISBN 13: 9781107180185

Used Hardcover

Seller: TextbookRush, Grandview Heights, OH, U.S.A.

Seller rating 4 out of 5 stars

Condition: Like New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 54868682

Contact seller