【49 FREE】Programming Language Theory eBooks Download (pdf, ePub, doc, html)

Are you looking for Programming Language Theory free ebooks? If Yes, then you have reached at right place because this page has a collection of Programming Language Theory free ebooks list. We have collected these official available Programming Language Theory free ebooks from internet and listed on our ebook directory portal so that you can easily find some best free ebooks for Programming Language Theory. Following are the list of free e-books and guides on Programming Language Theory, some of the resources in this section can be viewed online and some of them can be downloaded.

#1. Anatomy of Programming Languages
- By William R. Cook | 2013 | 153 pp | multiple formats
#2. Applicative Computing: Its quarks, atoms and molecules
- By V. E. Wolfengagen | 2010
#3. The Art of Computer Programming, Volume 4
- By Donald E. Knuth | 2006 | PDF/PS
#4. Category Theory and Functional Programming
- By Mikael Vejdemo-Johansson | 2012 | 99 pp | 410KB | PDF

#5. Certified Programming with Dependent Types
- By Adam Chlipala | 2011 | 371 pp | 3.9MB | PDF
#6. Common LISP: A Gentle Introduction to Symbolic Computation
- By David S. Touretzky | 1990 | 587 pages | 1.1MB | PDF
#7. Comparative Studies of Programming Languages
- By Joey Paquet | Serguei A. Mokhov | 2010 | 66 pages | 1.2MB | PDF
#8. Compiler Construction Wikibooks, 2011
#9. Compiler Construction
- By William M. Waite | Gerhard Goos | 1996 | 372 pp | 1.9MB | PDF
#10. Compiler Design in C
- By Allen I. Holub | 1990 | 986 pp | 18MB | PDF

#11. Compiler Design: Theory, Tools, and Examples
- By Seth D. Bergmann | 2010 | 284 pp | 880KB | PDF
#12. Compilers and Compiler Generators
- By P.D. Terry | 1996
#13. Computational Category Theory
- By D.E. Rydeheard | R.M. Burstall | 2001 | 263 pages | 0.9MB | PDF
#14. Concrete Abstractions: An Introduction to Computer Science Using Scheme
- By Max Hailperin | Barbara Kaiser | Karl Knight | 1998 | 670 pages | 2.5MB | PDF
#15. Concrete Semantics: With Isabelle/HOL
- By Tobias Nipkow | Gerwin Klein | 2016 | 308 pp | 1.6MB | PDF

#16. The Design and Implementation of Probabilistic Programming Languages
- By Noah D. Goodman | Andreas Stuhlmüller | 2016 | 215 pp | online html
#17. The Design of Functional Programs - A Calculational Approach
- By Dr. Robert Richard Hoogerwoord | 1989 | 228 pages | 4.4MB | PDF
#18. Formal Language Theory for Natural Language Processing
- By Shuly Wintner | 2001 | 52 pp | 320KB | PDF
#19. Formal Languages
- By Keijo Ruohonen | 2009 | 98 pp | 1MB | PDF
#20. Foundations of Computer Science
- By Lawrence C Paulson | 2000 | 155 pages | 0.5MB | PDF
#21. Galois Connections and Fixed Point Calculus
- By Roland Backhouse | 2001 | 105 pages | 0.5MB | PDF
#22. Homotopy Type Theory
- By Peter Aczel | et al. | 2013 | 599 pp | 3.2MB | PDF
#23. How to think like a Computer Scientist (C++ Version)
- By Allen B. Downey | 1999 | 189 pages | 800KB | PDF
#24. Implementing Functional Languages: a tutorial
- By Simon Peyton Jones | David Lester | 2000 | 296 pages
#25. Implementing Programming Languages
- By Aarne Ranta | 2012 | 133 pp | 710KB | PDF
#26. Introduction to Computing: Explorations in Language, Logic, and Machines
- By David Evans | 2009 | 298 pages | 35MB | PDF
#27. Introduction to Programming Languages Wikibooks, 2013, online html
#28. Introduction to Type Theory
- By Herman Geuvers | 2011 | 57 pages | 350KB | PDF
#29. Intuitionistic Type Theory
- By Per Martin-Loef | 1980 | 57 pp | 670KB | PDF
#30. Languages and Machines
- By C. D. H. Cooper | 2008 | PDF
#31. Lecture Notes on Static Analysis
- By Michael I. Schwartzbach | 2010 | 58 pp | 360KB | PDF
#32. Lectures on the Curry-Howard Isomorphism
- By Morten Heine B. Sorensen | Pawel Urzyczyn | 2006 | 273 pages | 1.3MB | PDF
#33. Linkers and Loaders
- By John R. Levine | 1999 | 256 pp | multiple formats
#34. Logic and Proof
- By Lawrence C Paulson | 2002 | 79 pages | 290KB | PDF
#35. Logic, Programming and Prolog
- By Ulf Nilsson | Jan Mauszynski | 1995 | 296 pages | 1.9MB | PDF
#36. Natural Language Interfaces to Databases: An Introduction
- By I. Androutsopoulos | G. D. Ritchie | P. Thanisch | 1995 | 50 pages | 450KB | PDF
#37. Natural Language Processing in Prolog
- By Gerald Gazdar and Chris Mellish | 1989
#38. Notes on Computational Linguistics
- By Edward Stabler | 2003 | PDF
#39. Partial Evaluation and Automatic Program Generation
- By Neil D. Jones | Carsten K. Gomard | Peter Sestoft | 1993 | 400 pages | 1.7MB | PDF
#40. Programming and Programming Languages
- By Shriram Krishnamurthi | 2014 | 262 pp | online html
#41. Programming Languages: Theory and Practice
- By Robert Harper | 2005 | 277 pp | 810KB | PDF
#42. Proofs and Types
- By Jean-Yves Girard | Yves Lafont | Paul Taylor | 1989
#43. Semantics: Advances in Theories and Mathematical Models
- By Muhammad Tanvir Afzal (ed.) | 2012 | 284 pp | 4.6MB | PDF
#44. Semantics of Programming Languages
- By Andrew M. Pitts | 2002 | 97 pp | 480KB | PDF
#45. Semantics With Applications: A Formal Introduction
- By Hanne Riis Nielson | Flemming Nielson | 1992 | 250 pages | 1.2MB | PDF
#46. The Theory of Languages and Computation
- By Jean Gallier | Andrew Hicks | 2006 | 109 pp | 950KB | PDF
#47. Topics in History and Comparing Programming Languages
- By Dennie Van Tassel | 2014 | online html
#48. Universal Algebra for Computer Science
- By Eric G. Wagner | 2006
#49. Write You a Haskell: Building a modern functional compiler from first principles
- By Stephen Diehl | 2015 | 246 pp | online html


Free Science eBooks