Practical Foundations for Programming Languages

By Robert Harper

Book Overview

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1107029570
• ISBN13: 9781107029576
• Release Date: December 2012
• Publisher: Cambridge University Press
• Length: 487 Pages
• Weight: 2.25 lbs.
• Dimensions: 10.0" x 1.3" x 7.0"