https://github.com/manelli/plt
Programming language theory resources
https://github.com/manelli/plt
compilers interpreters plt programming-language programming-language-theory
Last synced: 11 months ago
JSON representation
Programming language theory resources
- Host: GitHub
- URL: https://github.com/manelli/plt
- Owner: manelli
- Created: 2016-09-27T16:51:08.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2021-02-14T01:49:22.000Z (almost 5 years ago)
- Last Synced: 2025-01-05T07:16:31.095Z (about 1 year ago)
- Topics: compilers, interpreters, plt, programming-language, programming-language-theory
- Homepage:
- Size: 78.3 MB
- Stars: 6
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Programming Languages
### Papers
- [An Axiomatic Basis for Computer Programming - Hoare, 1969](papers/an_axiomatic_basis_for_computer_programming.pdf)
- [Fundamental Concepts in Programming Languages - Strachey, 1967](papers/fundamental_concepts_in_programming_languages.pdf)
- [Growing a Language - Steele, 1998](papers/growing_a_language.pdf)
- [Hints on Programming Language Design - Hoare, 1973](papers/hints_on_programming_language_design.pdf)
- [Monads for Functional Programming - Wadler, 1992](papers/monads_for_functional_programming.pdf)
- [Notation as a Tool of Thought - Iverson, 1980](papers/notation_as_a_tool_of_thought.pdf)
- [On Understanding Types, Data Abstraction, and Polymorphism - Cardelli & Wegner, 1985](papers/on_understanding_types_data_abstraction_and_polymorphism.pdf)
- [Out of the Tar Pit - Moseley & Marks, 2006](papers/out_of_the_tar_pit.pdf)
- [Programming with Abstract Data Types - Liskov & Zilles, 1974](papers/programming_with_abstract_data_types.pdf)
- [Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I - McCarthy, 1960](papers/recursive_functions_of_symbolic_expressions_and_their_computation_by_machine.pdf)
- [The Emperor's Old Clothes - Hoare, 1980](papers/the_emperors_old_clothes.pdf)
- [The Essence of Functional Programming - Wadler, 1992](papers/the_essence_of_functional_programming.pdf)
- [The Next 700 Programming Languages - Landin, 1966](papers/the_next_700_programming_languages.pdf)
- [The Roots of Lisp - Graham, 2002](papers/the_roots_of_lisp.pdf)
- [Why Functional Programming Matters - Hughes, 1989](papers/why_functional_programming_matters.pdf)
### ACM SIGPLAN History of Programming Languages Proceedings
- [HOPL I](hopl/hopl1.pdf)
- [HOPL II](hopl/hopl2.pdf)
- [HOPL III](hopl/hopl3.pdf)
- [HOPL IV](hopl/hopl4.pdf)
### Websites
- [Lambda the Ultimate](http://lambda-the-ultimate.org)
- [Crafting Interpreters](http://www.craftinginterpreters.com)
- [Read Scheme](http://library.readscheme.org)
- [People of Programming Languages](http://www.cs.cmu.edu/~popl-interviews/)
- [Programming Languages: Application and Interpretation](https://www.plai.org/)
- [Brown CS173](http://cs.brown.edu/courses/cs173/)
- [Functional programming books overview](http://alexott.net/en/fp/books/)
- [PLT resources](https://github.com/steshaw/plt)
- [Dynamic Languages Wizards Series, Spring 2001](http://www.ai.mit.edu/projects/dynlangs/wizards-panels.html)