Notes on CS Books

PLT

ANSI Common Lisp

• Name: ANSI Common Lisp
• Tag: Common-Lisp, Lisp
• Date:
  • 2014/12/07 - 2014/12/17

How to Design Programs

• Name: How to Design Programs
• Tag: PLT, Racket, Lisp
• Date:
  • 2014/12/22 - 2014/12/28

The Racket Guide

• Name: The Racket Guide
• Tag: Racket, Scheme, Lisp
• Date:
  • 2014/12/29 - 2015/01/05
  • 2015/01/05 - 2015/01/14

The little Schemer

• Name: The little Schemer
• Tag: Scheme, Lisp
• Date:
  • 2015/01/04 - 2015/01/06

The Seasoned Schemer

• Name: The Seasoned Schemer
• Tag: Scheme, Lisp
• Date:
  • 2015/01/08 - 2015/10/24

Thinking in Java

• Name: Thinking in Java
• Directory: tij
• Tag: Java, Language
• Date: 2015/06/27 - 2015/10/24

Racket: Web Server: HTTP Server

• Name: Web Server: HTTP Server
• Tag: Web, HTTP, Web Server, Racket, Scheme, Lisp
• Date:
  • 2015/01/18 - 2015/01/18
  • 2015/01/28 - 2015/01/28

The Scheme Programming Language

• Name: The Scheme Programming Language
• Directory: tspl
• Tag: Lisp, Scheme, PLT
• Date:
  • 2015/06/12 - 2015/07/30
  • 2015/08/08 - Current
• Reference:
  • A page about call/cc
  • CPS Notes
  • 漫谈程序控制流
  • Subroutine
  • Scheme程序语言介绍之一
  • Scheme概要
  • Scheme语言深入
  • 用Scheme语言进行Unix系统编程
  • Tacit programming
  • Lisp in Your Language

Web Application in Racket

• Name: Web Application in Racket
• Tag: Web, HTTP, Racket, Scheme, Lisp
• Date:
  • 2015/01/12 - 2015/01/13
  • 2015/01/18 - 2015/01/21
  • 2015/01/24 - 2015/01/24
  • 2015/01/27 - 2015/01/28

Programming Language Theory

• Name: Programming Language Theory
• Directory: plt
• Tag: PLT
• Date: 2015/03/16 - Keep Reading
• PS: it’s not a single book, but several materials about PLT from wikipedia or blog

Teach Yourself Scheme in Fixnum Days

• Name: Teach Yourself Scheme in Fixnum Days
• Directory: tyscheme
• Tag: Scheme
• Date: 2015/07/20 - 2015/07/23

Structure and Interpretation of Computer Programs

• Name: Structure and Interpretation of Computer Programs.
• Directory: sicp
• Tag: Lisp, PLT
• Date: 2015/01/28 - Current

Articles of Matt Might

• Name: Articles of Matt Might
• Directory: matt
• Tag: plt
• Date: 2015/07/30 - Keep Reading
• PS: it’s not a single book, but papers and articles from Matt Might’s blog

Types and Programming Languages

• Name: Types and Programming Languages
• Directory: tapl
• Tag: PLT, Type system
• Date: 2015/08/01/ - Continue
• Reference:
  • BNF

How to Design Programs

• Name: How to Design Programs
• Directory: htdp
• Tag: Lisp, Scheme, Racket, PLT
• Date: 2014/12/22 - 2014/12/28

The Racket Reference

• Name: The Racket Reference
• Directory: racket-refer
• Tag: Racket, Scheme, Lisp, PLT
• Tag: Lisp, Scheme, PLT
• Date: 2015/01/23/ - 2015/07/30 - Continue
• Reference:
  • Weak Reference
  • Reference
  • Scribble: The Racket Documentation Tool
  • raco: Racket Command-Line Tools
  • DrRacket: The Racket Programming Environment

The Racket Guide

• Name: The Racket Guide
• Directory: racket-guide
• Tag: Lisp, Scheme, Racket, PLT
• Date:
  • 2014/12/29 - 2015/01/05
  • 2015/01/05 - 2015/01/14
  • 2015/08/01 - 2015/08/23
• Reference:
  • Continue: Web Applications in Racket

Learn You A Haskell for Great Good!

• Name: Learn You A Haskell for Great Good!
• Directory: lyah
• Tag: PLT, Haskell, FP
• Date: 2015/08/25/ - 2015/09/07
• Date:
  • 2015/08/25/ - 2015/09/07
  • 2015/09/15/ - 2015/10/18
• Reference:

Seven Languages in Seven Weeks

• Name: Seven Languages in Seven Weeks
• Directory: 7-langs
• Tag: Lang, PLT, Haskell, Prolog, Io, Ruby, Scala, Erlang, Clojure, FP, Lisp
• Date: 2015/08/27/ - 2015/09/07
• Reference:

Visualization

Program Visualization

• Name: Program Visualization
• Directory: pro-vis
• Tag: Program Visualization
• Date: 2015/10/20 - Keep Reading
• Reference:
  • A Review of Generic Program Visualization Systems for Introductory Programming Education.
  • Visual Program Simulation in Introductory Programming Education
  • Software Visualization: From Theory to Practice
  • Milestones in the history of thematic cartography, statistical graphics, and data visualization

Real World OCaml

• Name: Real World OCaml
• Directory: rwo
• Tag: Lang, PLT, OCaml, FP
• Date: 2015/09/07
• Reference:

Data Visualization - Principles and Practice

• Name: Data Visualization - Principles and Practice
• Directory: data-vis
• Tag: Data Visualization, Visualization, Graphics
• Date: 2015/10/28
• Reference

Visualization Analysis and Design

• Name: Visualization Analysis and Design
• Directory: datavis/VAD/
• Tag: Data Visualization, Visualization, Graphics
• Date: 2015/12/17
• Reference

Thinking in UML

• Name: Thinking in UML
• Directory: uml
• Tag: Visualization, UML, OOP
• Date: 2015/08/21/ - 2015/08/25
• Reference:
  • 模型驱动体系结构介绍

The Elements Of Uml 2.0 Style

• Name: The Elements Of Uml 2.0 Style
• Directory: uml
• Tag: Visualization, UML, OOP
• Date: 2015/08/21/ - 2015/08/25
• Reference:
  • 统一建模语言UML

Web

HTTP: The Definitive Guide

• Name: HTTP: The Definitive Guide
• Tag: HTTP, Internet
• Date:
  • 2015/01/07 - 2015/01/18

Web Development with Node and Express: Leveraging the JavaScript Stack

• Name: Web Development with Node and Express: Leveraging the JavaScript Stack
• Directory: node.js
• Tag: Node.js, JavaScript, Express
• Date: 2015/10/07 - 2015/10/14
• Reference:

Other

How Program Works

• Name: How Program Works
• Directory: hpw
• Tag: CS, Lang
• Date: 2015/10/06 - 2015/10/08
• Reference:

Code Complete

• Name: Code Complete
• Directory: cc2e
• Tag: Software Construction
• Date: 2015/10/24
• Reference

10PL

• Name: 10 papers that all PhD students in programming languages ought to know, for some value of 10
• Directory: 10pl
• Tag: Programming Languages
• Date: 2015/10/18 - Keep Reading
• Intro: 10 papers that all PhD students in programming languages ought to know, for some value of 10
  • What Programming language researchers investigate the analysis, design, implementation, and evaluation of programming languages. Our goal is that the papers come from all of these areas.
  • Why A paper makes it on this list if one of us proposes the paper and none of the others disagrees. A paper may make it on the list if it is a milestone in the intellectual history of programming languages, if it is a good paper, and if its ideas are still good today. A paper may make it on the list if it covers an area particularly well. A paper may make it on the list if a PhD student in PL should know about this topic—even if it is outside of the confines of PL.
• Reference:
  • Type systems L. Cardelli. Type systems. Handbook of Computer Science and Engineering, 1997, 2208-2236. URL
  • Compiler C. Chambers and D. Ungar. Customization: Optimizing Compiler Technology for SELF, a Dynamically-typed Object-oriented Programming Language. PLDI 1989, 146–160. URL
  • Axiomatic Basis C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 1969, 12(10), 576-–580. URL
  • Program Languages P.J. Landin. The next 700 programming languages. Communications of the ACM, 1966, 9(3), 157–166. URL
  • Lambda-Calculus G.D. Plotkin. Call-by-name, call-by-value, and the λ-calculus. Theoretical Computer Science 1 (1975), 125–159. URL
  • Type Structure J.C. Reynolds. Three approaches to type structure. Theory and Practice of Software Development, 1985, 97–138. URL
  • Algol J.W. Backus et al. P. Naur (ed). The report on the algorithmic language Algol 60. Communications of the ACM, 1963, 6(1), 1–17. URL
  • Programming Language K.E. Ivarson. A Programming Language. John Wiley & Son’s. 1962. URL
  • Distributed System L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7), 558–565.
  • Symbolic Expressions J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the ACM, 1960, 3(4), 184–195 URL

One Two Three… Infinity

• Name: One Two Three… Infinity
• Date:
  • 2014/12/22 - Present
• Tag: Math

The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine

• Name: The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine
• Tag: Computation, Turing
• Date:
  • 2015/01/03 - Present

Go To: The Story of the Math Majors, Bridge Players, Engineers, Chess Wizards, Maverick Scientists, and Iconoclasts

• Name: Go To: The Story of the Math Majors, Bridge Players, Engineers, Chess Wizards, Maverick Scientists and Iconoclasts–The Programmers Who Created the Software Revolution
• Directory: None
• Tag: CS, History, Hack, Lang
• Date: 2015/10/05 - 2015/10/06
• Reference:

Mastering Emacs

• Name: Mastering Emacs
• Directory: node.js
• Tag: Node.js, JavaScript, Express
• Date: 2015/10/14 - Present
• Reference: