Practical Foundations For Programming Languages

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.

• | By (Author): Robert (Carnegie Mellon University, Pennsylvania) Harper
• | Publisher: Cambridge University Press
• | Publication Date: Apr 04, 2016
• | Country of Publication: United Kingdom
• | Number of Pages: 512 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 1107150302
• | ISBN-13: 9781107150300