Practical Foundations for Programming Languages, 2nd Edition (Preview)
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Tag(s): Functional Programming
Publication date: 01 Jul 2015
ISBN-10: n/a
ISBN-13: n/a
Paperback: 518 pages
Views: 21,183
Practical Foundations for Programming Languages, 2nd Edition (Preview)
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Publication date: 01 Jul 2015
ISBN-10: n/a
ISBN-13: n/a
Paperback: 518 pages
Views: 21,183
Document Type: Book
Publisher: Cambridge University Press
License: n/a
Post time: 02 May 2008 07:45:17
Robert Harper wrote:This is a draft version of a book published by Cambridge University Press (http://www.cambridge.org). 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.
From the Preface:
Robert Harper wrote:My purpose in writing this book is to establish a comprehensive framework for formulating and analyzing a broad range of ideas in programming languages. If language design and programming methodology are to advance from a trade-craft to a rigorous discipline, it is essential that we first get the definitions right. Then, and only then, can there be meaningful analysis and consolidation of ideas. My hope is that I have helped to build such a foundation.
Tweet
About The Author(s)
Robert "Bob" William Harper, Jr. is a professor in the Computer Science Department at the Carnegie Mellon University. His research interest is mathematical principles of programming. He made major contributions to the design of the Standard ML programming language and the LF logical framework.
Robert "Bob" William Harper, Jr. is a professor in the Computer Science Department at the Carnegie Mellon University. His research interest is mathematical principles of programming. He made major contributions to the design of the Standard ML programming language and the LF logical framework.