Practical Foundations for Programming Languages

by Robert Harper

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: 1107150302
• ISBN13: 9781107150300
• Release Date: April 2016
• Publisher: Cambridge University Press
• Length: 512 Pages
• Weight: 2.74 lbs.
• Dimensions: 1.2" x 7.0" x 10.4"