Practical Foundations for Programming Languages
Author | : Robert Harper |
Publisher | : Cambridge University Press |
Total Pages | : 513 |
Release | : 2016-04-04 |
ISBN-10 | : 9781107150300 |
ISBN-13 | : 1107150302 |
Rating | : 4/5 (302 Downloads) |
Download or read book Practical Foundations for Programming Languages written by Robert Harper and published by Cambridge University Press. This book was released on 2016-04-04 with total page 513 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.