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.