TECHTEAM SHUT THE WINDOWS OF THE PAST

Wednesday, September 17, 2008

Theory of Programming Languages

1. Compiler Books

2. Computer Languages Books

3. Languages and Machines ©2005 (Christopher Cooper)

4. Computational Linguistics Books

5. Practical Foundations for Programming Languages ©2008 (Robert Harper) [Homepage]

6. How Language Works: the Cognitive Science of Linguistics, Version 3.0 ©2006 (Mike Gasser)

7. Programming Languages ©2002-2005 (Mike Grant and Scott F. Smith) 167 pages

8. Advanced Programming Language Features for Executable Design Patterns ©2005 (Gregory T. Sullivan) [PostScript]

9. The Theory of Languages and Computation ©1999-2003 (Jean Gallier and Andy Hicks)

10. Language, Proof and Logic ©2002 (Jon Barwise and John Etchemendy) 598 pages

11. Understanding Programming Languages ©1996 (Monti Ben-Ari) 376 pages

12. Introduction to Programming Languages

13. Data, Syntax and Semantics - An Introduction to Modelling Programming Languages (J V Tucker) [PDF] [Homepage]

14. Lecture Notes on Semantics of Programming Languages (Andrew M. Pitts)

15. Programming Languages: Application and Interpretation (Shriram Krishnamurthi)

16. Language Translation Using PCCTS and C++: A Reference Guide ©1996 (Terence John Parr) 310 pages

17. Formal Syntax and Semantics of Programming Languages ©1994 (Kenneth Slonneger and Barry L. Kurtz)

18. Categories, Types and Structures: An introduction to the Computer Scientist ©1991 (Andrea Asperti, et al)

19. Denotational Semantics: A Methodology for Language Development ©1988 (David Schmidt)

20. Advanced Programming Language Design ©1995 (Raphael Finkel)

21. Implementing Functional Languages: A Tutorial ©1992 (Simon Peyton Jones/David Lester)

22. Semantics with Applications: A Formal Introduction ©1992 (H. R. Nielson/F. Nielson) 252 pages

23. Dictionary of Programming Languages

24. Computer Languages History [Another]

No comments: