[转帖]Classic Texts in Computer Science

[skyx]

An axiomatic basis for computer programming.
C. A. R. Hoare
http://www.spatial.maine.edu/~wo ... are%20axiomatic.pdf

Call-by-name, call-by-value, and the lambda calculus.
Gordon Plotkin
http://homepages.inf.ed.ac.uk/gdp/publi ... lambda.pdf

Towards a theory of type structure.
John C. Reynolds
ftp://ftp.cs.cmu.edu/user/jcr/theotypestr.pdf

Definitional interpreters for higher-order programming languages.
John C. Reynolds
ftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz

An APL Machine 1970
Philip S. Abrams
http://www.slac.stanford.edu/pubs/slacr ... r-114.html

Henry Baker's Archive of Research Papers (many classic Lisp papers)
http://www.pipeline.com/~hbaker1/

The Anatomy of a Large-Scale Hypertextual Web Search Engine
Sergey Brin and Lawrence Page
http://www-db.stanford.edu/~backrub/google.html

No Silver Bullet: Essence and Accidents of Software Engineering
Frederic P. Brooks, Jr.
http://www-inst.eecs.berkeley.ed ... NoSilverBullet.html

A Mathematical Theory of Communication
Claude Shannon
http://www.unil.ch/webdav/site/l ... ext/Shannon1948.pdf

Communication Theory of Secrecy Systems
Claude Shannon
http://www.cs.ucla.edu/~jkong/research/ ... on1949.pdf

Bayesian Networks without Tears
Eugene Charniak
http://www.cs.ubc.ca/~murphyk/Bayes/Charniak_91.pdf

A Universal Algorithm for Sequential Data Compression
Jacob Ziv and Abraham Lempel
http://www.stanford.edu/class/ee398a/re ... 77-SDC.pdf

A Relational Model of Data for Large Shared Data Banks 1970
Edgar F. Codd
http://www.cs.duke.edu/~junyang/cps216/ ... d-1970.pdf

Let's Build a Compiler 1988-1995
Jack Crenshaw
http://compilers.iecc.com/crenshaw/

Gauging Similarity via N-Grams: Language-Independent Sorting, Categorization, and Retrieval of Text
Marc Damashek
http://gnowledge.sourceforge.net/damashek-ngrams.pdf

Worse Is Better
Richard P. Gabriel
http://www.dreamsongs.com/WorseIsBetter.html

Hints on Programming Language Design
C.A.R. Hoare
http://www.cs.berkeley.edu/~necula/cs26 ... ehints.pdf

Why Functional Programming Matters
John Hughes
http://www.math.chalmers.se/~rjmh/Papers/whyfp.pdf

The Design of APL
Kenneth E. Iverson
http://www.research.ibm.com/journal/rd/ ... d1704F.pdf

The Early History Of Smalltalk
Alan Kay
http://www.metaobject.com/papers/Smallhistory.pdf

Computer Programming as an Art
Donald E. Knuth
http://fresh.homeunix.net/~luke/misc/kn ... gaward.pdf

The next 700 programming languages
Peter J. Landin
http://www.cs.utah.edu/~wilson/c ... ers/p157-landin.pdf

Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960
John McCarthy
http://www-formal.stanford.edu/jmc/recursive.html

FORTH - A Language for Interactive Computing
Charles H.Moore
http://www.cs.wisc.edu/~bolo/shipyard/4 ... _1970.html

Teach Yourself Programming in Ten Years 2001
Peter Norvig
http://www.norvig.com/21-days.html

Parenthetically Speaking, a collection of essays from the 1990s
Kent M. Pitman
http://www.nhplace.com/kent/PS/About-PS.html

The Definition and Implementation of a Computer Language based on constraints
Guy Lewis Steele Jr.
ftp://publications.ai.mit.edu/ai-public ... ITR-595.ps

Growing a Language
Guy Lewis Steele Jr.
http://www.cs.umbc.edu/331/resources/pa ... w-lang.pdf

Epigrams on Programming
Alan J. Perlis
http://www-pu.informatik.uni-tue ... aeren/epigrams.html

The Complexity of Theorem Proving Procedures
Stephen A. Cook
http://www.cs.helsinki.fi/u/gionis/cc05/cook.pdf

Steps Toward Artificial Intelligence
Marvin Minsky
http://web.media.mit.edu/~minsky/papers/steps.html

The Original 'Lambda Papers'
Guy Steele and Gerald Sussman
http://library.readscheme.org/page1.html

A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
R.L. Rivest, A. Shamir, and L. Adleman
http://theory.lcs.mit.edu/~rivest/rsapaper.pdf

The UNIX Time-Sharing System
Dennis Ritchie and Ken Thompson
http://cm.bell-labs.com/cm/cs/who/dmr/cacm.html