Practical Foundations for Programming Languages - Harper, Robert (Carnegie Mellon University, Pennsylvania) - Books - Cambridge University Press - 9781107150300 - April 4, 2016
In case cover and title do not match, the title is correct

Practical Foundations for Programming Languages 2 Revised edition

Harper, Robert (Carnegie Mellon University, Pennsylvania)

Practical Foundations for Programming Languages 2 Revised edition

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.


512 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 4, 2016
ISBN13 9781107150300
Publishers Cambridge University Press
Pages 512
Dimensions 262 × 188 × 33 mm   ·   1.16 kg
Language English  

Others have also bought