Scan barcode
512 pages • first pub 2012 (editions)
ISBN/UID: 9781107150300
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 01 September 2017
Description
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 semantics, presenting the essential tools both intui...
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
512 pages • first pub 2012 (editions)
ISBN/UID: 9781107150300
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 01 September 2017
Description
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 semantics, presenting the essential tools both intui...
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.