- Name: ANSI Common Lisp
- Tag: Common-Lisp, Lisp
- Date:
- 2014/12/07 - 2014/12/17
- Name: How to Design Programs
- Tag: PLT, Racket, Lisp
- Date:
- 2014/12/22 - 2014/12/28
- Name: The Racket Guide
- Tag: Racket, Scheme, Lisp
- Date:
- 2014/12/29 - 2015/01/05
- 2015/01/05 - 2015/01/14
- Name: The little Schemer
- Tag: Scheme, Lisp
- Date:
- 2015/01/04 - 2015/01/06
- Name: The Seasoned Schemer
- Tag: Scheme, Lisp
- Date:
- 2015/01/08 - 2015/10/24
- Name: Thinking in Java
- Directory: tij
- Tag: Java, Language
- Date: 2015/06/27 - 2015/10/24
- 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
- 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
- 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
- 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
- Name: Teach Yourself Scheme in Fixnum Days
- Directory: tyscheme
- Tag: Scheme
- Date: 2015/07/20 - 2015/07/23
- Name: Structure and Interpretation of Computer Programs.
- Directory: sicp
- Tag: Lisp, PLT
- Date: 2015/01/28 - Current
- 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
- Name: Types and Programming Languages
- Directory: tapl
- Tag: PLT, Type system
- Date: 2015/08/01/ - Continue
- Reference:
- Name: How to Design Programs
- Directory: htdp
- Tag: Lisp, Scheme, Racket, PLT
- Date: 2014/12/22 - 2014/12/28
- 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:
- 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:
- 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:
- 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:
- 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
- Name: Real World OCaml
- Directory: rwo
- Tag: Lang, PLT, OCaml, FP
- Date: 2015/09/07
- Reference:
- Name: Data Visualization - Principles and Practice
- Directory: data-vis
- Tag: Data Visualization, Visualization, Graphics
- Date: 2015/10/28
- Reference
- Name: Visualization Analysis and Design
- Directory: datavis/VAD/
- Tag: Data Visualization, Visualization, Graphics
- Date: 2015/12/17
- Reference
- Name: Thinking in UML
- Directory: uml
- Tag: Visualization, UML, OOP
- Date: 2015/08/21/ - 2015/08/25
- Reference:
- Name: The Elements Of Uml 2.0 Style
- Directory: uml
- Tag: Visualization, UML, OOP
- Date: 2015/08/21/ - 2015/08/25
- Reference:
- 统一建模语言UML
- Name: HTTP: The Definitive Guide
- Tag: HTTP, Internet
- Date:
- 2015/01/07 - 2015/01/18
- 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:
- Name: How Program Works
- Directory: hpw
- Tag: CS, Lang
- Date: 2015/10/06 - 2015/10/08
- Reference:
- Name: Code Complete
- Directory: cc2e
- Tag: Software Construction
- Date: 2015/10/24
- Reference
- 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
- 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:
- Name: Mastering Emacs
- Directory: node.js
- Tag: Node.js, JavaScript, Express
- Date: 2015/10/14 - Present
- Reference: