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.

Custom languages provide many benefits. This book sweeps away the obstacles and shows how custom languages are a tool within reach of any developer. Readers will discover just how much they can accomplish with the skills they already have.

An excellent introduction to a wide range of programming language concepts. They are all uniformly and carefully explained, using techniques that are very useful in practice for both analysis and implementation of programming languages.

This book unites two approaches to teaching programming languages, one based on a survey of languages and the other on writing definitional interpreters. The main programming language used in this book is Racket.

This book tries to explain a number of programming languages, covering a wide range from currently popular ones such as Java, Perl, Python, and C# to less known languages such as ML, Haskell.

This book is a series of notes about programming languages, originally written for students of the undergraduate programming languages course. It uses Haskell, a pure functional language.

The goal of this book, is to expose first-year graduate students to a wide range of programming language paradigms and issues, so that they can understand the literature on programming languages and even conduct research in this field.

This book follows a theory-based practical approach, where theoretical models serve as blueprint for actual coding. The reader is guided to build compilers and interpreters in a well-understood and scalable way.

It's basically two books in one, integrated. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.

This book offers a one semester introduction into compiler construction, enabling the reader to build a simple compiler that accepts a C-like language and translates it into working X86 or ARM assembly language.

In this category theory for programmers, the author illustrates all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power.

This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.

This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle.

This is a textbook that makes it truly fun to teach introductory syntax. It is thoroghly data-driven and teaches the student to pay attention to empirical details and to find linguistic patterns and explanations for them.

This book is an introduction to the mathematical theory of programming languages. It is in tended to provide a first course, one that is suitable for all university students of Computer Science to take early in their education.

Parsing techniques provide a solid basis for compiler construction and linguistics, and contribute to all existing software: they enable Web browsers to analyze HTML pages and PostScript printers to analyze PostScript, code generation in compilers, etc.

This book compares constructs from C with constructs from Ada in terms of levels of abstractions. Studying these languages provides a firm foundation for an extensive examination of object-oriented language support in C++ and Ada 95.

This book provides a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to help students to develop, modify and experiment with their own implementations.

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style, assumes that the reader is familiar with functional programming.

This book covers first-order language in a method appropriate for first and second courses in logic, and is specially useful to undergraduates of philosophy, computer science, mathematics, and linguistics.

This book gives an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

This book focuses on how to describe information processes by defining procedures, how to analyze the costs required to carry out a procedure, and the fundamental limits of what can and cannot be computed mechanically.

This book is a reference guide for the parser generator ANTLR, ANother Tool for Language Recognition, and the tree-parser generator SORCERER, which is suited to source-to-source translation.

This textbook describes all phases of a modern compiler. A unique feature is a practical implementation project in C++.

This book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics, covers state-of-the-art systems, theories, mathematical models in the domain of Semantics.

The current one is the second volume which highlights the state-of-the-art application areas in the domain of Semantics.

This book provides a quick overview of the theory behind context-free grammars and semantic values. It has both an introductory tutorial section with examples and a reference section which explores parts of Bison in detail.

This 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.

This book offers general readers a personal tour of the intricate workings of language. It will focus on a narrow range of topics and themes; there will be no pretense of covering the field in anything like a complete fashion.