Description
| Product ID: | 9781107150300 |
| Product Form: | Hardback |
| Country of Manufacture: | GB |
| Title: | Practical Foundations for Programming Languages |
| Authors: | Author: Robert Harper |
| Page Count: | 512 |
| Subjects: | Programming and scripting languages: general, Programming & scripting languages: general |
| Description: | Select Guide Rating This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs. |
| Imprint Name: | Cambridge University Press |
| Publisher Name: | Cambridge University Press |
| Country of Publication: | GB |
| Publishing Date: | 2016-04-04 |
