本仓库是Learning-SICP(QQ群:97747648)学习小组建立并维护的书评记录仓库,主要面向程序设计语言的应用及其基本理论等方面。
- 计算机程序的构造和解释(The Structure And Interpretation of Computer Programs)
- 编程语言实现模式
- The Little Schemer
- 算法
- C与指针
- Real World Haskell
- Learn You a Haskell for Great Good
- Essentials of Programming Languages
- Programming Languages: Application and Interpretation
- Concepts in Programming Languages
- Realm of Racket
- Java编程思想
- Seven Concurrency Models in Seven Weeks
- Lecture Notes on the Lambda Calculus
- Haskell: The Craft of Functional Programming
- Rust Essentials
- An Introduction to Scheme and its Implementation
- 面向对象设计实践指南:Ruby语言描述(Practical Object Oriented Design In Ruby An Agile Primer)
- 集体智慧编程
- 统计学习方法
- λ-演算的语法和语义(The Lambda Calculus: Its Syntax and Semantics)
- The Little Prover
- 数理逻辑
- Logic and Structure
- 近世代数引论
- Categories for the Working Mathematician 2nd
- Purely Functional Data Structures
- 计算机科学中的现代逻辑学
- Beginning Haskell
- 类型和程序设计语言
- 离散数学教程