37份计算机学的经典文档

killl

37份计算机学的经典文档


这是一份了不起的列表，链接全部为 pdf 文档，敬请收藏。
An axiomatic basis for computer programming
C. A. R. Hoare
Communicating Sequential Processes (CSP)
C. A. R. Hoare
Call-by-name, call-by-value, and the lambda calculus
Gordon Plotkin
Towards a theory of type structure
John C. Reynolds
Structured Programming with go to Statements
Donald E. Knuth
Definitional interpreters for higher-order programming languages
John C. Reynolds
An APL Machine 1970
Philip S. Abrams
Henry Baker’s Archive of Research Papers (many classic Lisp papers)
Henry Baker
The Anatomy of a Large-Scale Hypertextual Web Search Engine
Sergey Brin and Lawrence Page
No Silver Bullet: Essence and Accidents of Software Engineering
Frederic P. Brooks, Jr.
A Mathematical Theory of Communication
Claude Shannon
Communication Theory of Secrecy Systems
Claude Shannon
Bayesian Networks without Tears
Eugene Charniak
A Universal Algorithm for Sequential Data Compression
Jacob Ziv and Abraham Lempel
A Relational Model of Data for Large Shared Data Banks 1970
Edgar F. Codd
Let’s Build a Compiler 1988-1995
Jack Crenshaw
Gauging Similarity via N-Grams: Language-Independent Sorting…
Marc Damashek
Worse Is Better
Richard P. Gabriel
Hints on Programming Language Design
C.A.R. Hoare
Why Functional Programming Matters
John Hughes
On the Expressive Power of Programming Languages
Matthias Felleisen
The Design of APL
Kenneth E. Iverson
The Early History Of Smalltalk
Alan Kay
Computer Programming as an Art
Donald E. Knuth
The next 700 programming languages
Peter J. Landin
Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960
John McCarthy
FORTH - A Language for Interactive Computing
Charles H.Moore
Teach Yourself Programming in Ten Years 2001
Peter Norvig
Parenthetically Speaking, a collection of essays from the 1990s
Kent M. Pitman
The Definition and Implementation of a Computer Language based on constraints
Guy Lewis Steele Jr.
Growing a Language
Guy Lewis Steele Jr.
Epigrams on Programming
Alan J. Perlis
The Complexity of Theorem Proving Procedures
Stephen A. Cook
Steps Toward Artificial Intelligence
Marvin Minsky
The Original ‘Lambda Papers’
Guy Steele and Gerald Sussman
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
R.L. Rivest, A. Shamir, and L. Adleman
The UNIX Time-Sharing System
Dennis Ritchie and Ken Thompson