FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World



Practical Foundations for Programming Languages (Robert Harper)
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.

Programming Languages: Application and Interpretation
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.

Programming Languages at a Glance (Andreas Hohmann)
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.

Anatomy of Programming Languages (William R. Cook)
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.

Advanced Programming Language Design (Raphael Finkel)
The goal of this book, is to expose firstyear 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.

Implementing Programming Languages: Compilers and Interpreters
This book follows a theorybased practical approach, where theoretical models serve as blueprint for actual coding. The reader is guided to build compilers and interpreters in a wellunderstood and scalable way.

Programming and Programming Languages (Shriram Krishnamurthi)
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.

Introduction to Compilers and Language Design (Douglas Thain)
This book offers a one semester introduction into compiler construction, enabling the reader to build a simple compiler that accepts a Clike language and translates it into working X86 or ARM assembly language.

Category Theory for Programmers (Bartosz Milewski)
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.

Exploring Programming Language Architecture in Perl (Bill Hails)
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.

Syntactic Theory: A Formal Introduction (Ivan A. Sag, et al)
This is a textbook that makes it truly fun to teach introductory syntax. It is thoroghly datadriven and teaches the student to pay attention to empirical details and to find linguistic patterns and explanations for them.

Data, Syntax and Semantics: Modelling Programming Languages
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  A Practical Guide (Dick Grune, et al)
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.

Understanding Programming Languages (Monti BenAri)
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 objectoriented language support in C++ and Ada 95.

Implementing Functional Languages: A Tutorial
This book provides a practical approach to understanding implementations of nonstrict functional languages using lazy graph reduction. It is intended to help students to develop, modify and experiment with their own implementations.

The Implementation of Functional Programming Languages
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.

Language, Proof and Logic (Jon Barwise, John Etchemendy)
This book covers firstorder 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.

Lectures on the CurryHoward Isomorphism (M. H. Sorensen, et al)
This book gives an introduction to parts of proof theory and related aspects of type theory relevant for the CurryHoward isomorphism. It can serve as an introduction to any or both of typed lambdacalculus and intuitionistic logic.

Certified Programming with Dependent Types
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.

Programming in MartinLof's Type Theory: An Introduction
This book focuses on the type theory developed by Per MartinLof. It contains a thorough introduction to the MartinLof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

Introduction to Computing: Language, Logic, and Machines
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.

Language Translation Using PCCTS and C++: A Reference Guide
This book is a reference guide for the parser generator ANTLR, ANother Tool for Language Recognition, and the treeparser generator SORCERER, which is suited to sourcetosource translation.

Lexical Analysis and Parsing using C++ (Bruno R. Preiss)
This textbook describes all phases of a modern compiler. A unique feature is a practical implementation project in C++.

Semantics  Advances in Theories and Mathematical Models
This book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics, covers stateoftheart systems, theories, mathematical models in the domain of Semantics.

Semantics in Action  Applications and Scenarios (M. T. Afzal)
The current one is the second volume which highlights the stateoftheart application areas in the domain of Semantics.

Bison: The Yacccompatible Parser Generator
This book provides a quick overview of the theory behind contextfree grammars and semantic values. It has both an introductory tutorial section with examples and a reference section which explores parts of Bison in detail.

Dictionary of Programming Languages (Neal Ziring)
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.

How Language Works: The Cognitive Science of Linguistics
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.
:






















