Classical Computer Science Papers

Recently, when Browsing others' blogs, I found a list of papers. As a computer professional, I should read more master works.

Now we record these papers below. Learn by yourself. From: http://blog.csdn.net/g9yuayon/article/details/1512851

· 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. Renault
· Structured Programming with go to statements Donald E. knuth
· Definitional interpreters for higher-order programming languages John C. Renault
· An APL machine 1970 Philip S. Abrams
· 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
· Bayesian networks without tears
· A Universal Algorithm for sequential Data Compression
· A relational model of data for large shared data banks 1970 Edgar F. codd
· Let's build a compiler 1988-1995
· 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 extensions ages Matthias felleisen
· The early history of Smalltalk Alan Kay
· Computer programming as an art Donald E. knuth
· The next 700 programming languages ages 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
· 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
· The UNIX time-sharing system Dennis Ritchie and Ken Thompson