Principles of Programming Languages

Principles of Programming Languages

An introduction to the study of programming languages that evolved from lecture notes used in a programming languages course for students at Johns Hopkins University.

Publication date: 16 Jan 2020

ISBN-10: n/a

ISBN-13: n/a

Paperback: 179 pages

Views: 50,312

Type: Book

Publisher: n/a

License: Creative Commons Attribution-ShareAlike 3.0 United States

Post time: 29 Aug 2016 10:00:00

Principles of Programming Languages

Principles of Programming Languages An introduction to the study of programming languages that evolved from lecture notes used in a programming languages course for students at Johns Hopkins University.
Tag(s): Compiler Design and Construction Formal Methods
Publication date: 16 Jan 2020
ISBN-10: n/a
ISBN-13: n/a
Paperback: 179 pages
Views: 50,312
Document Type: Book
Publisher: n/a
License: Creative Commons Attribution-ShareAlike 3.0 United States
Post time: 29 Aug 2016 10:00:00
Summary/Excerpts of (and not a substitute for) the Creative Commons Attribution-ShareAlike 3.0 United States:
You are free to:

Share — copy and redistribute the material in any medium or format
Adapt — remix, transform, and build upon the material for any purpose, even commercially.

The licensor cannot revoke these freedoms as long as you follow the license terms.

Click here to read the full license.
From the Preface:
Scott F. Smith wrote: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. 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. We show 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. 

While the book uses formal mathematical techniques such as operational semantics and type systems, it does not emphasize proofs of properties of these systems. We will sketch the intuitions of some properties but not do any detailed proofs. 




About The Author(s)


No information is available for this author.

Mike Grant

No information is available for this author.


Zachary Palmer is a Ph.D. candidate in Computer Science at Johns Hopkins University, advised by Dr. Scott F. Smith. His life as a graduate student started following a carefully-planned and lucky escape from an industry job as a software engineer. He plans to continue pursuing his interests in typed scripting languages, compile-time metaprogramming, and teaching in his position as a visiting professor at Swarthmore College starting in the Fall semester.

Zachary Palmer

Zachary Palmer is a Ph.D. candidate in Computer Science at Johns Hopkins University, advised by Dr. Scott F. Smith. His life as a graduate student started following a carefully-planned and lucky escape from an industry job as a software engineer. He plans to continue pursuing his interests in typed scripting languages, compile-time metaprogramming, and teaching in his position as a visiting professor at Swarthmore College starting in the Fall semester.


Dr. Scott Smith is a Professor in the Department of Computer Science at The Johns Hopkins University. His research interests span a number of areas in programming languages.

Scott F. Smith

Dr. Scott Smith is a Professor in the Department of Computer Science at The Johns Hopkins University. His research interests span a number of areas in programming languages.


Book Categories
Sponsors