THELIB
分类规则 规则 登录
  • 图书
  • 编程语言
  • Haskell
  • Haskell之路:逻辑、数学与编程
Haskell之路:逻辑、数学与编程
A

Haskell之路:逻辑、数学与编程

Haskell
# Haskell# functional programming# logic# mathematics# proofs# recursion# type systems
作者
Kees Doets, Jan van Eijck
年份
2004
语言
英语
40
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

Haskell编程从入门到精通

Haskell编程从入门到精通

Christopher Allen, Julie Moronuki

Haskell 编程入门

Haskell 编程入门

Will Kurt

Haskell编程

Haskell编程

Graham Hutton

Haskell数据分析食谱

Haskell数据分析食谱

Nishant Shukla

编程数学:掌握数学,编写更优代码

编程数学:掌握数学,编写更优代码

Ronald T. Kneusel

Go语言编程入门

Go语言编程入门

Nathan Youngman, Roger Peppé

Effective Haskell:使用强类型函数式编程解决现实世界问题

Effective Haskell:使用强类型函数式编程解决现实世界问题

Rebecca Skinner

从Ruby到Golang:Ruby程序员学习Go指南

从Ruby到Golang:Ruby程序员学习Go指南

Joel Bryan Juliano

学习Haskell,受益无穷!初学者指南

学习Haskell,受益无穷!初学者指南

Miran Lipovaca

Functional Python Programming,第三版

Functional Python Programming,第三版

Steven F. Lott

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译