You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Zeeshan Lakhani
4575e11514
|
10 years ago | |
---|---|---|
.. | ||
README.md | 10 years ago | |
axiomatic-basis-computer-programming.pdf | 11 years ago | |
hints-for-computer-system-design.pdf | 10 years ago | |
recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf | 11 years ago | |
story-of-squeak-a-practical-smalltalk-written-in-itself.pdf | 11 years ago |
README.md
Computer Science Fundamentals and History
- Turing, On computable numbers, with an application to the Entscheidungsproblem by Alan Turing
- [Mealy, A Method for Synthesizing Sequential Circuits] (http://www3.alcatel-lucent.com/bstj/vol34-1955/articles/bstj34-5-1045.pdf) by George H. Mealy
- 📜 Back to the Future - The Story of Squeak, A Practical Smalltalk Written in Itself by Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace & Alan Kay
- 📜 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy
- 📜 An Axiomatic Basis for Computer Programming by C. A. R. HOARE