Free Computer Science eBooks Online : Programming Language Theory

Free Computer Science eBooks Online : Programming Language Theory

Here is a list of online   Books about  Programming Language Theory available for free downloading in various formats  or for online reading:

Applicative Computing: Its quarks, atoms and molecules
by V. E. Wolfengagen, 2010

The Art of Computer Programming, Volume 4
by Donald E. Knuth, 2006, PDF/PS

Category Theory and Functional Programming
by Mikael Vejdemo-Johansson, 2012, 99 pp, 410KB, PDF

Certified Programming with Dependent Types
by Adam Chlipala, 2011, 371 pp, 3.9MB, PDF

Common LISP: A Gentle Introduction to Symbolic Computation
by David S. Touretzky, 1990, 587 pages, 1.1MB, PDF

Comparative Studies of Programming Languages
by Joey Paquet, Serguei A. Mokhov, 2010, 66 pages, 1.2MB, PDF

Compiler Construction
Wikibooks, 2011

Compiler Design: Theory, Tools, and Examples
by Seth D. Bergmann, 2010, 284 pp, 880KB, PDF

Compilers and Compiler Generators
by P.D. Terry, 1996

Computational Category Theory
by D.E. Rydeheard, R.M. Burstall, 2001, 263 pages, 0.9MB, PDF

Concrete Abstractions: An Introduction to Computer Science Using Scheme
by Max Hailperin, Barbara Kaiser, Karl Knight, 1998, 670 pages, 2.5MB, PDF

The Design of Functional Programs – A Calculational Approach
by Dr. Robert Richard Hoogerwoord, 1989, 228 pages, 4.4MB, PDF

Formal Language Theory for Natural Language Processing
by Shuly Wintner, 2001, 52 pp, 320KB, PDF

Formal Languages
by Keijo Ruohonen, 2009, 98 pp, 1MB, PDF

Foundations of Computer Science
by Lawrence C Paulson, 2000, 155 pages, 0.5MB, PDF

Galois Connections and Fixed Point Calculus
by Roland Backhouse, 2001, 105 pages, 0.5MB, PDF

Homotopy Type Theory
by Peter Aczel, et al., 2013, 599 pp, 3.2MB, PDF

How to think like a Computer Scientist (C++ Version)
by Allen B. Downey, 1999, 189 pages, 800KB, PDF

Implementing Functional Languages: a tutorial
by Simon Peyton Jones, David Lester, 2000, 296 pages

Implementing Programming Languages
by Aarne Ranta, 2012, 133 pp, 710KB, PDF

Introduction to Computing: Explorations in Language, Logic, and Machines
by David Evans, 2009, 298 pages, 35MB, PDF

Introduction to Type Theory
by Herman Geuvers, 2011, 57 pages, 350KB, PDF

Languages and Machines
by C. D. H. Cooper, 2008, PDF

Logic and Proof
by Lawrence C Paulson, 2002, 79 pages, 290KB, PDF

Logic, Programming and Prolog
by Ulf Nilsson, Jan Mauszynski, 1995, 296 pages, 1.9MB, PDF

Natural Language Interfaces to Databases: An Introduction
by I. Androutsopoulos, G. D. Ritchie, P. Thanisch, 1995, 50 pages, 450KB, PDF

Natural Language Processing in Prolog
by Gerald Gazdar and Chris Mellish, 1989

Notes on Computational Linguistics
by Edward Stabler, 2003, PDF

Partial Evaluation and Automatic Program Generation
by Neil D. Jones, Carsten K. Gomard, Peter Sestoft, 1993, 400 pages, 1.7MB, PDF

Proofs and Types
by Jean-Yves Girard, Yves Lafont, Paul Taylor, 1989

Semantics: Advances in Theories and Mathematical Models
by Muhammad Tanvir Afzal (ed.), 2012, 284 pp, 4.6MB, PDF

Semantics of Programming Languages
by Andrew M. Pitts, 2002, 97 pp, 480KB, PDF

Semantics With Applications: A Formal Introduction
by Hanne Riis Nielson, Flemming Nielson, 1992, 250 pages, 1.2MB, PDF

The Theory of Languages and Computation
by Jean Gallier, Andrew Hicks, 2006, 109 pp, 950KB, PDF

Universal Algebra for Computer Science
by Eric G. Wagner, 2006

You may also like...