Logo

Principles of Programming Languages

Principles of Programming Languages
by


Number of pages: 179

Description:
This book is an introduction to the study of programming languages. The material has evolved from lecture notes used in a programming languages course for juniors, seniors, and graduate students at Johns Hopkins University. The book treats programming language topics from a foundational, but not formal, perspective. It is foundational in that it focuses on core concepts in language design such as functions, records, objects, and types and not directly on applied languages such as C, C++, or Java. The book shows how the particular core concepts are realized in these modern languages, and so the reader should emerge from this book with a stronger sense of how they are structured.

Download or read it online for free here:
Download link
(900KB, PDF)

Similar books

Book cover: The Design and Implementation of Probabilistic Programming LanguagesThe Design and Implementation of Probabilistic Programming Languages
by - dippl.org
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference.
(538 views)
Book cover: Introduction to Programming LanguagesIntroduction 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.
(4171 views)
Book cover: Linkers and LoadersLinkers and Loaders
by - Morgan Kaufmann
The author presents clear practical advice to help you create faster, cleaner code. You'll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the performance-improving techniques supported by many modern linkers, etc.
(2913 views)
Book cover: Computational Category TheoryComputational Category Theory
by
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
(10383 views)