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...
Community Reviews
Content Warnings
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...
Community Reviews
Content Warnings