Practical Foundations for Programming Languages

← Back to document page

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.

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 …

  Programming, Language, Foundations, Practical, Programming language, Practical foundations for programming languages