PREVIEW
W. IE. Practical Foundations for Programming Languages S ECOND E DITION. Robert Harper EV. Carnegie Mellon University PR. W. Copyright 2016 by Robert Harper. IEAll Rights Reserved. EV. This is an abbreviated version of a book published by Cambridge University Press ( ). This draft is made available for the personal use of a single individual. The reader may make one copy for personal use. No unauthorized distribution of any kind is allowed. No alterations are permitted. PR. W. Preface to the Second Edition Writing the second edition to a text book incurs the same risk as building the second version of a software system. It is difficult to make substantive improvements, while avoiding the temptation to overburden and undermine the foundation on which one is building.
PREVIEW Preface to the First Edition Types are the central organizing principle of the theory of programming languages. Language fea-tures are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs.
Download PREVIEW
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: