You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
512 pages • hardcover • first pub 2012 • 2 editions
ISBN/UID: 9781107150300
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 01 Sep 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 • hardcover • 2012
ISBN/UID: 9781107150300
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 01 Sep 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