1. Home
  2. E-Book
  3. Programming Languages: Application and Interpretation

Programming Languages: Application and Interpretation by Shriram Krishnamurthi

Programming Languages: Application and Interpretation

Programming Languages: Application and Interpretation by Shriram Krishnamurthi
Programming Languages: Application and Interpretation by Shriram Krishnamurthi
Publisher: Lulu.com 2007
ISBN/ASIN: B00262R7B0
Number of pages: 376
The book is the textbook for the programming languages course at Brown University, which is taken primarily by third and fourth year undergraduates and beginning graduate (both MS and PhD) students. It seems very accessible to smart second year students too, and indeed those are some of my most successful students. The book has been used at over a dozen other universities as a primary or secondary text. The book’s material is worth one undergraduate course worth of credit. The author wants to show students where languages come from, why we should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.
Computers & Internet Computer Science Programming Language Theory
Go To Read/Download Page
Home Page

More Free E-Books For Programming Language Theory

Similar Books For Programming Language Theory

1. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
2. The Design and Implementation of Probabilistic Programming Languages by Noah D. Goodman, Andreas Stuhlmüller
3. Compiler Construction by William M. Waite, Gerhard Goos
4. Purely Functional Data Structures by Chris Okasaki
5. Concrete Semantics: With Isabelle/HOL by Tobias Nipkow, Gerwin Klein
6. Professor Fris by 's Mostly Adequate Guide to Functional Programming
7. Anatomy of Programming Languages by William R. Cook
8. Programming and Programming Languages by Shriram Krishnamurthi
9. Lecture Notes on Static Analysis by Michael I. Schwartzbach
10. Compiler Design in C by Allen I. Holub
11. Write You a Haskell: Building a modern functional compiler from first principles by Stephen Diehl
12. Topics in History and Comparing Programming Languages by Dennie Van Tassel
13. ROSE Compiler Framework by
14. Intuitionistic Type Theory by Per Martin-Loef
15. Introduction to Programming Languages by
16. Programming Languages: Theory and Practice by Robert Harper
17. Homotopy Type Theory by Peter Aczel, et al.
18. Semantics of Programming Languages by Andrew M. Pitts
19. Linkers and Loaders by John R. Levine
20. The Theory of Languages and Computation by Jean Gallier, Andrew Hicks
21. Functional Programming in Qi by Mark Tarver
22. Semantics: Advances in Theories and Mathematical Models by Muhammad Tanvir Afzal (ed.)
23. Exploring Programming Language Architecture in Perl by Bill Hails
24. Formal Languages by Keijo Ruohonen
25. Implementing Programming Languages by Aarne Ranta
26. Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
27. Compiler Construction by
28. Compiler Design: Theory, Tools, and Examples by Seth D. Bergmann
29. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
30. Formal Language Theory for Natural Language Processing by Shuly Wintner
31. A Gentle Introduction to ML by Andrew Cumming
32. Certified Programming with Dependent Types by Adam Chlipala
33. Introduction to Type Theory by Herman Geuvers
34. Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn
35. Compilers and Compiler Generators by P.D. Terry
36. The Z Notation: A Reference Manual by J. M. Spivey
37. Lecture Notes on the Lambda Calculus by Peter Selinger
38. Compositional Semantics by Gary Hardegree
39. Comparative Studies of Programming Languages by Joey Paquet, Serguei A. Mokhov
40. Datalogi V - Programming Languages by A. Filinski, R. Gluck, N. D. Jones
41. Programming in Martin-Lof's Type Theory: An Introduction by Bengt Nordstrom, Kent Petersson, Jan M. Smith
42. Let's Build a Scripting Engine-Compiler by S. Arbayo
43. Lightweight Compiler Techniques by Nils M Holm
44. Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
45. Let Over Lambda: 50 Years of Lisp by Doug Hoyte
46. Language Translation Using PCCTS and C++ by Terence John Parr
47. Proofs and Types by J. Girard, Y. Lafont, P. Taylor
48. Bison: The Yacc-compatible Parser Generator by Charles Donnelly, Richard Stallman
49. Dictionary of Programming Languages by Neal Ziring
50. Implementing Functional Languages: a tutorial by Simon Peyton Jones, David Lester

Free E-Books For Computers & Internet
Free E-Books For Computer Science
Free E-Books For Programming Language Theory



Categories