Processing ......
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
 
Theory of Programming Languages
Under the presure of layoff?, Start your own business today! Check here.
Compiler Books Computer Languages Books
Practical Foundations for Programming Languages ©2010 (Robert Harper) 484 pages
Introduction to Computing: Explorations in Language, Logic, and Machines ©2009 (David Evans)
Languages and Machines ©2005 (Christopher Cooper) Computational Linguistics Books
How Language Works: the Cognitive Science of Linguistics, Version 3.0 ©2006 (Mike Gasser)
Programming Languages ©2002-2005 (Mike Grant and Scott F. Smith) 167 pages
Advanced Programming Language Features for Executable Design Patterns ©2005 (Gregory T. Sullivan) [PostScript]
The Theory of Languages and Computation ©1999-2003 (Jean Gallier and Andy Hicks)
Language, Proof and Logic ©2002 (Jon Barwise and John Etchemendy) 598 pages [Homepage]
Understanding Programming Languages ©1996 (Monti Ben-Ari) 376 pages
Introduction to Programming Languages
Data, Syntax and Semantics - An Introduction to Modelling Programming Languages (J V Tucker) [PDF] [Homepage]
Lecture Notes on Semantics of Programming Languages (Andrew M. Pitts)
Programming Languages: Application and Interpretation (Shriram Krishnamurthi)
Language Translation Using PCCTS and C++: A Reference Guide ©1996 (Terence John Parr) 310 pages
Formal Syntax and Semantics of Programming Languages ©1994 (Kenneth Slonneger and Barry L. Kurtz)
Categories, Types and Structures: An introduction to the Computer Scientist ©1991 (Andrea Asperti, et al)
Denotational Semantics: A Methodology for Language Development ©1988 (David Schmidt)
Advanced Programming Language Design ©1995 (Raphael Finkel)
Implementing Functional Languages: A Tutorial ©1992 (Simon Peyton Jones/David Lester)
Semantics with Applications: A Formal Introduction ©1992 (H. R. Nielson/F. Nielson) 252 pages
Dictionary of Programming Languages Computer Languages History [Another]
Book Categories
All Categories
Books by Year Published
Recent Books
Computer Languages
Computer Science
Databases and Storage
Electronic Engineering
Java and Java EE (J2EE)
Linux and Unix
Mathematics
Microsoft and .NET
Network / Communications
Software Engineering
Special Topics
Web Design and Programming
Other Categories
Resources and Links