Programming Languages: Theory and Practice
by Robert Harper
Publisher: Carnegie Mellon University 2005
Number of pages: 277
Description:
What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of programming languages and explaining the pragmatic issues involved in their design and implementation.
Download or read it online for free here:
Download link
(810KB, PDF)
Similar books
Introduction to Programming Languages- Wikibooks
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
(4489 views)
Proofs and Typesby J. Girard, Y. Lafont, P. Taylor - Cambridge University Press
This 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.
(9145 views)
Principles of Programming Languagesby Mike Grant, Zachary Palmer, Scott Smith
An introduction to the study of programming languages for juniors, seniors, and graduate students. The book treats topics from a foundational perspective, it focuses on core concepts in language design, not directly on applied languages.
(15403 views)
Dictionary of Programming Languagesby Neal Ziring
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(7860 views)