Practical Foundations for Programming Languages

Description: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.

Similar books

Programming Languages: Application and Interpretation by Shriram Krishnamurthi - Lulu.comThe textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.(8220 views)

Proofs and Types by J. Girard, Y. Lafont, P. Taylor - Cambridge University PressThis little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.(11985 views)

Understanding Programming Languages by Monti Ben-Ari - John Wiley & SonsThe book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.(12006 views)