资源列表
《Prolog 专家系统原理与设计》
- 《Prolog 专家系统原理与设计》
《Real World Haskell》 英文版
- 《Real World Haskell》 英文版
《Programming with Refinement Types - An Introduction to LiquidHaskell》
- 《Programming with Refinement Types - An Introduction to LiquidHaskell》
《Rust Cookbook》
- 《Rust Cookbook》
《Real World Haskell》 中文版
- 《Real World Haskell》 中文版
《Haskell 函数式程序设计基础》 中山大学课件
- 《Haskell 函数式程序设计基础》 中山大学课件
《Haskell 系列教程》 滴滴FP
- 《Haskell 系列教程》 滴滴FP
《Prolog 与逻辑推理》
- 《Prolog 与逻辑推理》
《Principles of program analysis》
- 《Principles of program analysis》
《Programming Language Pragmatics》
- 《Programming Language Pragmatics》
《Programming Languages - Programming in Haskell》
- 《Programming Languages - Programming in Haskell》
《Programming in Haskell》 中文版
- 《Programming in Haskell》 中文版