Items related to Programming Languages: Build, Prove, and Compare
Synopsis
Teaches students about great programming-language ideas and how to use them in programming practice.
"synopsis" may belong to another edition of this title.
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.
- PublisherCambridge University Press
- Publication date2022
- ISBN 10 110718018X
- ISBN 13 9781107180185
- BindingHardcover
- LanguageEnglish
- Number of pages600
Search results for Programming Languages: Build, Prove, and Compare
Stock Image
Programming Languages: Build, Prove, and Compare
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 4 out of 5 stars
hardcover. Condition: Very Good. Seller Inventory # mon0003757006
Quantity: 1 available
Stock Image
Programming Languages : Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 52494312-6
Quantity: 1 available
Stock Image
Programming Languages : Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44571984-n
Quantity: 3 available
Stock Image
PROGRAMMING LANGUAGES
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: Speedyhen, London, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # NW9781107180185
Quantity: 1 available
Stock Image
Programming Languages : Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44571984-n
Quantity: 3 available
Stock Image
Programming Languages: Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781107180185_new
Quantity: Over 20 available
Stock Image
Programming Languages : Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 44571984
Quantity: 3 available
Stock Image
Programming Languages (Hardcover)
Published by
Cambridge University Press, Cambridge, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. This 'great ideas applied in practice' textbook emphasizes practice. It distills key programming languages and their design ideas down to small, simple languages implemented by an interpreter, The hands-on approach lets readers develop skills that will help them be productive programmers even in languages they've never seen before. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781107180185
Quantity: 1 available
Stock Image
Programming Languages: Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 600 pages. 10.00x7.00x1.69 inches. In Stock. This item is printed on demand. Seller Inventory # __110718018X
Quantity: 1 available
Stock Image
Programming Languages: Build, Prove, and Compare
Published by
Cambridge University Press, 2022
ISBN 10: 110718018X
ISBN 13: 9781107180185
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 402248408
Quantity: 1 available