「Minsky」を含む日記

■Classic Texts in Computer Science

リブログです。

• 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

• 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)

• The Anatomy of a Large-Scale Hypertextual Web Search Engin

  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, Categorization, and Retrieval of Text

  Marc Damashek

• Worse Is Better

  Richard P. Gabriel

• Hints on Programming Language Design

  C.A.R. Hoare

• Why Functional Programming Matters

  John Hughes

• 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

http://www.zafar.se/bkz/Articles/ClassicCompScienceTexts

http://www.zafar.se/bkz/wiki/view/43bafac8c8570f4f

にあったけど、無くなっていたので

http://web.archive.org/web/20060823143349/www.zafar.se/bkz/home/classictextsincomputersc.html

から拾ってきた。

でも書いてる途中に↓を見つけてしまったのでした。

Classical Computer Science Texts

Permalink | 記事への反応(0) | 02:38

ツイートシェア