机读格式显示(MARC)

• 000 01125nam0 2200265 450

• 001 0000375696

• 005 20251205143900.0

• 010 __ |a 978-7-302-62690-9 |d CNY39.00

• 035 __ |a (A100000NLC)012495015

• 049 __ |a A100000NLC |b UCS01012078781 |c 012495015 |d NLC01

• 100 __ |a 20230828d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 函数式程序设计 |9 han shu shi cheng xu she ji |b 专著 |f 邓玉欣编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2023

• 215 __ |a 114页 |c 图，照片 |d 26cm

• 300 __ |a 高等学校计算机专业系列教材

• 330 __ |a 本书共分4章：第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统，讨论语法和β-归约语义；第2章介绍Coq，从函数式程序设计的角度展开讨论，内容涉及列表、多态列表、依赖类型、高阶函数、柯里-霍华德关联及余归纳类型等；第3章介绍OCaml这门通用程序设计语言，除了基本的程序设计概念，还讨论函子和单子这样比较高级的语言特征；第4章提供了部分习题的参考答案。

• 606 0_ |a 函数 |9 Han Shu |x 程序设计 |x 高等学校 |j 教材

• 690 __ |a TP311.1 |v 5

• 701 _0 |a 邓玉欣 |9 deng yu xin |4 编著

• 801 _2 |a CN |b OLCC |c 20231004

• 905 __ |a GDPTC |d TP311.1/266