A working draft of a book on the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.

Read more at: http://www.freetechbooks.com/practical-foundations-for-programming-languages-t730.html.