资源列表
《Programming Languages - Programming in Haskell》
- 《Programming Languages - Programming in Haskell》
《Programming with Refinement Types - An Introduction to LiquidHaskell》
- 《Programming with Refinement Types - An Introduction to LiquidHaskell》
《Prolog 与逻辑推理》
- 《Prolog 与逻辑推理》
《Prolog 专家系统原理与设计》
- 《Prolog 专家系统原理与设计》
《Real World Haskell》 英文版
- 《Real World Haskell》 英文版
《Real World Haskell》 中文版
- 《Real World Haskell》 中文版
《Rust Cookbook》
- 《Rust Cookbook》
《Scala 语言规范》
- 《Scala 语言规范》
《Scheme R5RS》 CN
- 《Scheme R5RS》 CN
《Scheme R5RS》 EN
- 《Scheme R5RS》 EN
《Scheme R6RS》
- 《Scheme R6RS》
《Software Design for Flexibility》
- 《Software Design for Flexibility》