Practical Foundations for Programming Languages

FreeTechBooks.com
Free Online Computer Science and Programming Books, Textbooks, and Lecture Notes

FreeTechBooks.com Homepage » Functional Programming

Posted: Sat May 03, 2008 6:45 am by ndaru

Practical Foundations for Programming Languages

Author : Robert Harper, Computer Science Department, Carnegie Mellon University
Working Draft : May 2008

Terms and Conditions:

Robert Harper wrote:

This is very much a work in progress, with major revisions made nearly every day. This means that there may be internal inconsistencies as revisions to one part of the book invalidate material at another part. Please bear this in mind!

Excerpts from the Draft:

This is a working draft of a book on the foundations of programming languages. The central organizing principle of the book is that programming language features may be seen as manifestations of an underlying type structure that governs its syntax and semantics. The emphasis, therefore, is on the concept of type, which codiﬁes and organizes the computational universe in much the same way that the concept of set may be seen as an organizing principle for the mathematical universe. The purpose of this book is to explain this remark.

View/Download Practical Foundations for Programming Languages

Also subscribe for Oracle Magazine | Advanced Imaging | LEDs Magazine | Renewable Energy Focus | Power Engineering International