Practical Foundations for Programming Languages |
|
Author:
| Harper, Robert |
ISBN: | 978-1-316-65573-3 |
Publication Date: | Apr 2016 |
Publisher: | Cambridge University Press
|
Book Format: | Ebook |
List Price: | Contact Supplier contact
|
Book Description:
|
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.