Practical Foundations for Programming Languages. This item is unavailable.
62 ratings by Goodreads
Language: English
Published by Cambridge University Press, 2016
- Softcover
- Used
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
5-star seller
AbeBooks seller since March 16, 2007
Unavailable
Softcover
Condition: Used - Very good
£ 66.52
Item description from seller
The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Seller Inventory # GOR011962828
- Title
- Practical Foundations for Programming Languages
- Author
- Robert Harper
- Publisher
- Cambridge University Press
- Publication year
- 2016
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 1107150302
- ISBN 13
- 9781107150300
- Edition
- 2nd Edition
- Item weight
- 1,061 grams
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
"Synopsis" may belong to another edition of this title.
About the Author
Robert Harper is a professor in the computer science department at Carnegie Mellon University, Pennsylvania. His main research interest is in the application of type theory to the design and implementation of programming languages and to the mechanization of their meta-theory. Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence, and is an Association for Computing Machinery Fellow.
"About the title" may belong to another edition of this title.
Search results for Practical Foundations for Programming Languages
There are 13 more copies of this bookView all results