Overview
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
- | Author: Robert Harper
- | Publisher: Cambridge University Press
- | Publication Date: Apr 14, 2016
- | Number of Pages: 512 pages
- | Language: English
- | Binding: Hardcover/Computers
- | ISBN-10: 1107150302
- | ISBN-13: 9781107150300
